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 319 matching lines @@
   }
 
   visitCreateFunction(cps_ir.CreateFunction node) {
     return "CreateFunction ${node.definition.element.name}";
   }
 
   visitGetMutableVariable(cps_ir.GetMutableVariable node) {
     String variable = names.name(node.variable.definition);
     return 'GetMutableVariable $variable';
   }
+
+  @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 217 matching lines @@
   }
   visitIsTrue(cps_ir.IsTrue node) {
     unexpectedNode(node);
   }
   visitIdentical(cps_ir.Identical node) {
     unexpectedNode(node);
   }
   visitInterceptor(cps_ir.Interceptor node) {
     unexpectedNode(node);
   }
+
+  @override
+  visitReadTypeVariable(cps_ir.ReadTypeVariable node) {
+    unexpectedNode(node);
+  }
+
+  @override
+  visitReifyRuntimeType(cps_ir.ReifyRuntimeType node) {
+    unexpectedNode(node);
+  }
 }