typeInformation in CreateInstance is a kind of TypeExpression

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

 // Copyright (c) 2015, 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.cps_ir.gvn;
 
 import 'cps_ir_nodes.dart';
 import '../universe/side_effects.dart';
 import '../elements/elements.dart';
 import 'optimizers.dart' show Pass;
@@ skipping 711 matching lines @@
 
   processReifyRuntimeType(ReifyRuntimeType node) {
     vector = [GvnCode.REIFY_RUNTIME_TYPE];
   }
 
   processReadTypeVariable(ReadTypeVariable node) {
     vector = [GvnCode.READ_TYPE_VARIABLE, node.variable];
   }
 
   processTypeExpression(TypeExpression node) {
-    vector = [GvnCode.TYPE_EXPRESSION, node.dartType];
+    if (node.isForInstance) {
+      vector = [GvnCode.TYPE_EXPRESSION, null];  // dartType unused.
+    } else {
+      vector = [GvnCode.TYPE_EXPRESSION, node.dartType];
+    }
   }
 
   processInterceptor(Interceptor node) {
     vector = [GvnCode.INTERCEPTOR];
   }
 }
 
 class GvnCode {
   static const int TYPE_TEST = 1;
   static const int TYPE_TEST_VIA_FLAG = 2;
@@ skipping 17 matching lines @@
 
   @override
   processReference(Reference ref) {
     callback(ref);
   }
 
   static void forEach(Primitive node, ReferenceCallback callback) {
     new InputVisitor(callback).visit(node);
   }
 }