Allocate types in proper heap space.

runtime/vm/flow_graph_builder.cc

Index: runtime/vm/flow_graph_builder.cc
===================================================================
--- runtime/vm/flow_graph_builder.cc	(revision 9528)
+++ runtime/vm/flow_graph_builder.cc	(working copy)
@@ -1555,12 +1555,14 @@
   if (instantiator_class.NumTypeParameters() == 0) {
     // The type arguments are compile time constants.
     AbstractTypeArguments& type_arguments = AbstractTypeArguments::ZoneHandle();
-    // TODO(regis): Temporary type should be allocated in new gen heap.
+    // Type is temporary. Only its type arguments are preserved.
     Type& type = Type::Handle(
-        Type::New(instantiator_class, type_arguments, token_pos));
+        Type::New(instantiator_class, type_arguments, token_pos, Heap::kNew));
     type ^= ClassFinalizer::FinalizeType(
-        instantiator_class, type, ClassFinalizer::kFinalizeWellFormed);
+        instantiator_class, type, ClassFinalizer::kFinalize);
+    ASSERT(!type.IsMalformed());
     type_arguments = type.arguments();
+    type_arguments = type_arguments.Canonicalize();
     return Bind(new ConstantVal(type_arguments));
   }
   Function& outer_function =