| Index: tests/language/generic_instanceof4_test.dart
|
| diff --git a/tests/language/generic_instanceof4_test.dart b/tests/language/generic_instanceof4_test.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..447e0abe42308c9f93b5b3d8f44cda8e02e803e2
|
| --- /dev/null
|
| +++ b/tests/language/generic_instanceof4_test.dart
|
| @@ -0,0 +1,28 @@
|
| +// 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 instanceof works correctly with type variables.
|
| +
|
| +import "package:expect/expect.dart";
|
| +
|
| +class A<T> {
|
| + foo(x) {
|
| + // Don't inline.
|
| + if (new DateTime.now().millisecondsSinceEpoch == 42) return foo(x);
|
| + return x is T;
|
| + }
|
| +}
|
| +
|
| +class BB {}
|
| +
|
| +class B<T> implements BB {
|
| + foo() {
|
| + // Don't inline.
|
| + if (new DateTime.now().millisecondsSinceEpoch == 42) return foo(x);
|
| + return new A<T>().foo(new B());
|
| + }
|
| +}
|
| +
|
| +main() {
|
| + Expect.isTrue(new B<BB>().foo());
|
| +}
|
|
|