Add substitution for classes that use type variables.

tests/language/generic_creation_test.dart

Index: tests/language/generic_creation_test.dart
diff --git a/tests/language/generic_creation_test.dart b/tests/language/generic_creation_test.dart
index 55dbd2680d305cda659631e989764aa5244eb829..a14ddbcb7e1ac4be8fc7f8a8ddcf07108c96dad3 100644
--- a/tests/language/generic_creation_test.dart
+++ b/tests/language/generic_creation_test.dart
@@ -10,6 +10,8 @@ class A<X, Y, Z> {
   wrap() => new A<A<X, X, X>, A<Y, Y, Y>, A<Z, Z, Z>>();
 }
 
+class B extends A<U, V, W> {}

[kasperl, 2013/02/12 12:14:10]

Could you also test that something like:

  class C<T> extends A<U, T, W> {}

would be testable like this:

  C c = new C<V>();
  sameType(new A<A<U, U, U>, A<V, V, V>, A<W, W, W>>(), c.wrap());

[karlklose, 2013/02/12 13:22:30]

Done.

+
 class U {}
 class V {}
 class W {}
@@ -23,4 +25,6 @@ main() {
   sameType(new A<U, U, U>(), a.first());
   sameType(new A<W, W, W>(), a.last());
   sameType(new A<A<U, U, U>, A<V, V, V>, A<W, W, W>>(), a.wrap());
+  B b = new B();
+  sameType(new A<A<U, U, U>, A<V, V, V>, A<W, W, W>>(), b.wrap());
 }