Implement type argument access and reification of runtime types.

pkg/compiler/lib/src/tree_ir/optimization/statement_rewriter.dart

Index: pkg/compiler/lib/src/tree_ir/optimization/statement_rewriter.dart
diff --git a/pkg/compiler/lib/src/tree_ir/optimization/statement_rewriter.dart b/pkg/compiler/lib/src/tree_ir/optimization/statement_rewriter.dart
index 721f99098cdadb054f098ff958a89c7326a42961..ba137706939945134626b27e905657428478dcd1 100644
--- a/pkg/compiler/lib/src/tree_ir/optimization/statement_rewriter.dart
+++ b/pkg/compiler/lib/src/tree_ir/optimization/statement_rewriter.dart
@@ -489,6 +489,10 @@ class StatementRewriter extends Visitor<Statement, Expression> with PassMixin {
     return node;
   }
 
+  Expression visitReifyRuntimeType(ReifyRuntimeType node) => node;

[asgerf, 2015/03/02 13:52:37]

Visit and update subexpressions so variables can be inlined.

[karlklose, 2015/03/05 09:54:58]

I lost this change when cherry picking from my feature branch, and that was the
reason the generated code was wrong. It would be nice to have to be able to
catch that kind of bug with a checked mode version of the visitor.

+
+  Expression visitReadTypeVariable(ReadTypeVariable node) => node;
+
   /// If [s] and [t] are similar statements we extract their subexpressions
   /// and returns a new statement of the same type using expressions combined
   /// with the [combine] callback. For example: