dart2js cps: 'is' checks on types with type arguments.

pkg/compiler/lib/src/cps_ir/cps_ir_nodes.dart

 // 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.
 
 // IrNodes are kept in a separate library to have precise control over their
 // dependencies on other parts of the system.
 library dart2js.ir_nodes;
 
 import '../constants/expressions.dart';
 import '../constants/values.dart' as values show ConstantValue;
@@ skipping 384 matching lines @@
   }
 
   accept(Visitor visitor) => visitor.visitInvokeConstructor(this);
 }
 
 /// "as" casts and "is" checks.
 // We might want to turn "is"-checks into a [Primitive] as it can never diverge.
 // But then we need to special-case for is-checks with an erroneous .type as
 // these will throw.
 class TypeOperator extends Expression {
-  Reference<Primitive> receiver;
+  Reference<Primitive> value;
   final DartType type;
+  /// Type arguments to [type]. Since [type] may reference type variables in the
+  /// enclosing class, these are not constant.
+  final List<Reference<Primitive>> typeArguments;
   final Reference<Continuation> continuation;
   // TODO(johnniwinther): Use `Operator` class to encapsule the operator type.
   final bool isTypeTest;
 
-  TypeOperator(Primitive receiver,
+  TypeOperator(Primitive value,
                this.type,
+               List<Primitive> typeArguments,
                Continuation cont,
                {bool this.isTypeTest})
-      : this.receiver = new Reference<Primitive>(receiver),
+      : this.value = new Reference<Primitive>(value),
+        this.typeArguments = _referenceList(typeArguments),
         this.continuation = new Reference<Continuation>(cont) {
     assert(isTypeTest != null);
   }
 
   bool get isTypeCast => !isTypeTest;
 
   accept(Visitor visitor) => visitor.visitTypeOperator(this);
 }
 
 /// Invoke [toString] on each argument and concatenate the results.
@@ skipping 811 matching lines @@
     processBranch(node);
     processReference(node.trueContinuation);
     processReference(node.falseContinuation);
     visit(node.condition);
   }
 
   processTypeOperator(TypeOperator node) {}
   visitTypeOperator(TypeOperator node) {
     processTypeOperator(node);
     processReference(node.continuation);
-    processReference(node.receiver);
+    processReference(node.value);
+    node.typeArguments.forEach(processReference);
   }
 
   processSetMutableVariable(SetMutableVariable node) {}
   visitSetMutableVariable(SetMutableVariable node) {
     processSetMutableVariable(node);
     processReference(node.variable);
     processReference(node.value);
     visit(node.body);
   }
 
@@ skipping 150 matching lines @@
     processNonTailThrow(node);
     processReference(node.value);
   }
 
   processCreateInvocationMirror(CreateInvocationMirror node) {}
   visitCreateInvocationMirror(CreateInvocationMirror node) {
     processCreateInvocationMirror(node);
     node.arguments.forEach(processReference);
   }
 }