Implement is-checks against type variables.

tests/language/generic2_test.dart

Index: tests/language/generic2_test.dart
diff --git a/tests/language/generic2_test.dart b/tests/language/generic2_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..01370485f72d5ed04146e6752ebbd27ee07f42cd
--- /dev/null
+++ b/tests/language/generic2_test.dart
@@ -0,0 +1,17 @@
+// Copyright (c) 2013, 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.

[ahe, 2013/02/14 16:58:33]

Add line between copyright and comment.

Also, what is the "instanceof" operation?

[karlklose, 2013/02/18 16:02:01]

Done.

+
+class A<T> {
+  foo(o) => o is T;
+}
+
+class B {}
+
+main() {
+  Expect.isTrue(new A<Object>().foo(new B()));
+  Expect.isTrue(new A<Object>().foo(1));
+  Expect.isFalse(new A<int>().foo(new Object()));
+  Expect.isFalse(new A<int>().foo('hest'));

[ahe, 2013/02/14 16:58:33]

Why are you not testing B here? for example:

Expect.isTrue(new A<B>().foo(new B()));
Expect.isFalse(new A<B>().foo(new Object()));
Expect.isFalse(new A<B>().foo(1));

[karlklose, 2013/02/18 16:02:01]

Done.

+}

[Johnni Winther, 2013/02/18 09:16:27]

I would like to see tests of on a subtype of A. For instance if class C<T>
extends A<T> and class D extends A<int>, then to have new C<int>().foo(...) and
new D().foo(...) tests.

[karlklose, 2013/02/18 16:02:01]

Done.