blob: 946e56139c56894ef56a4442eb667ab5426cd0dc [file] [log] [blame]
// Copyright (c) 2014, 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.9
// Test that substitutions are emitted for classes that are only used as
// type arguments.
import 'package:expect/expect.dart';
class K {}
class A<T> {}
class B extends A<K> {}
class X<T> {}
main() {
var v = new DateTime.now().millisecondsSinceEpoch != 42
? new X<B>()
: new X<A<String>>();
Expect.isFalse(v is X<A<String>>);
}