Implement type argument access and reification of runtime types.

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

 // Copyright (c) 2014, 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.
 
 library dart2js.ir_tracer;
 
 import 'dart:async' show EventSink;
 
 import 'cps_ir_nodes.dart' as cps_ir hide Function;
 import '../tracer.dart';
@@ skipping 312 matching lines @@
 
   visitRunnableBody(cps_ir.RunnableBody node) {}
   visitFieldInitializer(cps_ir.FieldInitializer node) {}
   visitSuperInitializer(cps_ir.SuperInitializer node) {}
   visitCondition(cps_ir.Condition c) {}
   visitExpression(cps_ir.Expression e) {}
   visitPrimitive(cps_ir.Primitive p) {}
   visitDefinition(cps_ir.Definition d) {}
   visitInitializer(cps_ir.Initializer i) {}
   visitNode(cps_ir.Node n) {}
+
+  @override
+  visitReadTypeVariable(cps_ir.ReadTypeVariable node) {
+    return "ReadTypeVariable ${node.variable.element} "
+        "${formatReference(node.target)}";
+  }
+
+  @override
+  visitReifyRuntimeType(cps_ir.ReifyRuntimeType node) {
+    return "ReifyRuntimeType ${formatReference(node.value)}";
+  }
 }
 
 /**
  * Invents (and remembers) names for Continuations, Parameters, etc.
  * The names must match the conventions used by IR Hydra, e.g.
  * Continuations and Functions must have names of form B### since they
  * are visualized as basic blocks.
  */
 class Names {
   final Map<Object, String> names = {};
@@ skipping 160 matching lines @@
     }
   }
 
   visitContinuation(cps_ir.Continuation c) {
     var old_node = current_block;
     current_block = getBlock(c);
     visit(c.body);
     current_block = old_node;
   }
 }