blob: 1383c4f67778b0de7ebab7ee60b627c0ad32a188 [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>>);