blob: 3226063adbf72afc6274d5556af0d4a1821b7f11 [file] [log] [blame]
// Copyright (c) 2018, 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.
// @dart = 2.7
import 'package:compiler/src/util/testing.dart';
// Reduced version of generic_methods_dynamic_05a_strong.
/*spec.class: A:deps=[],direct,explicit=[A.T*,A<B*>*,A<bar.T*>*],needsArgs*/
/*prod.class: A:deps=[],explicit=[A<B*>*],needsArgs*/
class A<T> {
final T field;
/*spec.class: B:explicit=[A<B*>*],implicit=[B]*/
/*prod.class: B:explicit=[A<B*>*]*/
class B {}
class C {
/*spec.member:[A<bar.T*>*],implicit=[bar.T],indirect,needsArgs,selectors=[Selector(call, bar, arity=1, types=1)]*/
/*prod.member:,selectors=[Selector(call, bar, arity=1, types=1)]*/
A<T> bar<T>(A<T> t) => new A<T>(t.field);
main() {
C c = new C();
dynamic x =<B>(new A<B>(new B()));
makeLive(x is A<B>);