// 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 DateTime.now().millisecondsSinceEpoch != 42
    ? new X<B>() : new X<A<String>>();
  Expect.isFalse(v is X<A<String>>);
}

Add a test to test that substitutions are emitted for classes that are only used as type arguments.
Add a test to test that substitutions are emitted for classes that are only used as type arguments.

R=floitsch@google.com

Review URL: https://codereview.chromium.org//771673002

git-svn-id: c93d8a2297af3b929165606efe145742a534bc71@42059 260f80e4-7a28-3924-810f-c04153c831b5
