blob: cca72f01f67f5fdd2fd6e3840a67417f0a4e8e3f [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.
// 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 != 42
? new X<B>()
: new X<A<String>>();
Expect.isFalse(v is X<A<String>>);