cps-ir: Set runtime type information for new objects that require it.

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

Index: pkg/compiler/lib/src/cps_ir/shrinking_reductions.dart
diff --git a/pkg/compiler/lib/src/cps_ir/shrinking_reductions.dart b/pkg/compiler/lib/src/cps_ir/shrinking_reductions.dart
index c3823ece560f55358510d2e298239fc3fc9ffc72..766eeae9cf8b415c910163ce6e6a519a1d53a984 100644
--- a/pkg/compiler/lib/src/cps_ir/shrinking_reductions.dart
+++ b/pkg/compiler/lib/src/cps_ir/shrinking_reductions.dart
@@ -658,6 +658,9 @@ class ParentVisitor extends RecursiveVisitor {
 
   processCreateInstance(CreateInstance node) {
     node.arguments.forEach((Reference ref) => ref.parent = node);
+    if (node.hasTypeInformation) {

[asgerf, 2015/03/24 12:37:22]

This type of check drives me crazy. Please remove hasTypeInformation and make
the list empty instead of null.

[karlklose, 2015/03/26 09:50:07]

Done.

+      node.typeInformation.forEach((Reference ref) => ref.parent = node);
+    }
   }
 
   processCreateBox(CreateBox node) {
@@ -670,6 +673,10 @@ class ParentVisitor extends RecursiveVisitor {
   processReadTypeVariable(ReadTypeVariable node) {
     node.target.parent = node;
   }
+
+  processTypeExpression(TypeExpression node) {
+    node.arguments.forEach((Reference ref) => ref.parent = node);
+  }
 }
 
 class _ReductionKind {