Implement substitution for type variables.

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

Index: sdk/lib/_internal/compiler/implementation/ssa/codegen.dart
diff --git a/sdk/lib/_internal/compiler/implementation/ssa/codegen.dart b/sdk/lib/_internal/compiler/implementation/ssa/codegen.dart
index 3f0a0b6652d1dc57b8f5a80a520b7a6abbea840f..78dc24afdd99aa6e422519ae17d28510f6bd3672 100644
--- a/sdk/lib/_internal/compiler/implementation/ssa/codegen.dart
+++ b/sdk/lib/_internal/compiler/implementation/ssa/codegen.dart
@@ -2395,15 +2395,13 @@ abstract class SsaCodeGenerator implements HVisitor, HBlockInformationVisitor {
       checkType(input, type);
       attachLocationToLast(node);
     }
-    if (node.hasArgumentChecks()) {
+    if (node.hasArgumentsCheck()) {
       InterfaceType interfaceType = type;
       ClassElement cls = type.element;
       Link<DartType> arguments = interfaceType.typeArguments;
       js.Expression result = pop();
-      for (int i = 0; i < node.checkCount; i++) {
-        use(node.getCheck(i));
-        result = new js.Binary('&&', result, pop());
-      }
+      use(node.checkCall);
+      result = new js.Binary('&&', result, pop());
       push(result, node);
     }
     if (node.nullOk) {