Add more subtype checks, and repeat them so that any inlined checks can be tested as well (first te…

tests/language/src/GenericInstanceof3Test.dart

Index: tests/language/src/GenericInstanceof3Test.dart
===================================================================
--- tests/language/src/GenericInstanceof3Test.dart	(revision 0)
+++ tests/language/src/GenericInstanceof3Test.dart	(revision 0)
@@ -0,0 +1,59 @@
+// Copyright (c) 2012, 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 test program for testing the instanceof operation.
+
+// Tests involving generics.
+
+interface I<T> {
+}
+
+
+class A implements I<bool> {
+}
+
+
+class B<T> implements I<bool> {
+}
+
+
+interface K<T> {
+
+}
+
+interface L<T> extends K<bool> {
+
+}
+
+
+class C implements L<String> {
+
+}
+
+
+class D implements B<String> {
+
+}
+
+
+
+main() {
+  var a = new A();
+  var b = new B<String>();
+  var c = new C();
+  var d = new D();
+  // Repeat type checks so that inlined tests can be tested as well.
+  for (int i = 0; i < 5; i++) {

[regis, 2012/04/26 19:02:49]

5 -> 2?

+    Expect.isFalse(a is I<String>);
+    Expect.isTrue(a is I<bool>);
+    Expect.isFalse(b is I<String>);
+    Expect.isFalse(c is K<String>);
+    Expect.isFalse(c is K<String>);
+    Expect.isTrue(c is L<String>);
+    Expect.isFalse(c is L<bool>);
+    Expect.isTrue(c is K<bool>);
+    Expect.isFalse(c is K<String>);
+    Expect.isFalse(d is I<String>);
+    Expect.isTrue(d is I<bool>);
+  }
+}