blob: a8f736916f8f14bdc05145ef6e5ce47eab83babb [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';
// Test that substitutions are emitted for classes that are only used as
// type arguments.
class K {}
/*class: A:explicit=[X<A<String*>*>*]*/
class A<T> {}
class B extends A<K> {}
/*class: X:explicit=[X<A<String*>*>*],needsArgs*/
class X<T> {}
main() {
var v = new != 42
? new X<B>()
: new X<A<String>>();
makeLive(v is X<A<String>>);