Implement subtype checks on type arguments.

sdk/lib/_internal/compiler/implementation/ssa/builder.dart

Index: sdk/lib/_internal/compiler/implementation/ssa/builder.dart
diff --git a/sdk/lib/_internal/compiler/implementation/ssa/builder.dart b/sdk/lib/_internal/compiler/implementation/ssa/builder.dart
index 8e807d80b86a8edf7077ca1489a1a4dfd8b621da..16da44b0d6f832c4e4937a6b7488101c44104848 100644
--- a/sdk/lib/_internal/compiler/implementation/ssa/builder.dart
+++ b/sdk/lib/_internal/compiler/implementation/ssa/builder.dart
@@ -3587,6 +3587,7 @@ class SsaBuilder extends ResolvedVisitor implements Visitor {
         // on type arguments.
         generateRuntimeError(node, '$type is malformed: $reasons');
       } else {
+        compiler.codegenWorld.instantiatedTypes.add(type);

[ngeoffray, 2012/12/12 12:09:11]

You should not register in builder.dart, bit in codegen.dart instead.

[karlklose, 2012/12/12 14:50:47]

I cannot do this now, we need a way to encode the type in the instruction. Added
a TODO.

         visitNewSend(node.send, type);
       }
     }