// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// This test verifies that generic type argument ('T') can be evaluated
// when stopped on an exception which is thrown during type check in
// the implicit field setter.
// Regression test for https://github.com/dart-lang/sdk/issues/48279.

import 'package:test/test.dart';
import 'package:vm_service/vm_service.dart';

import 'common/service_test_common.dart';
import 'common/test_helper.dart';

class A<T, U, V> {
  List<T> foo = [];
}

void testeeMain() {
  final A<num, Object, Object> object = A<int, String, String>();
  object.foo = <double>[];
}

final tests = <IsolateTest>[
  hasStoppedWithUnhandledException,
  (VmService service, IsolateRef isolateRef) async {
    print('We stopped!');
    final isolateId = isolateRef.id!;
    final stack = await service.getStack(isolateId);
    final topFrame = stack.frames![0];
    expect(topFrame.function!.name, equals('foo='));
    final result = await service.evaluateInFrame(isolateId, 0, 'T');
    print(result);
    expect((result as InstanceRef).name, equals('int'));
  }
];

Future<void> main(args) => runIsolateTests(
      args,
      tests,
      'regress_48279_test.dart',
      pauseOnUnhandledExceptions: true,
      testeeConcurrent: testeeMain,
    );