Allocate types in proper heap space.

runtime/vm/class_finalizer.h

 // Copyright (c) 2012, 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.
 
 #ifndef VM_CLASS_FINALIZER_H_
 #define VM_CLASS_FINALIZER_H_
 
 #include "vm/allocation.h"
 #include "vm/growable_array.h"
 
@@ skipping 26 matching lines @@
   // not unique, i.e. it is already in the list.
   // Return false if 'interface' conflicts with an interface already in the list
   // with the same class, but different type arguments.
   // In the case of a conflict, set 'conflicting' to the existing interface.
   static bool AddInterfaceIfUnique(const GrowableObjectArray& interface_list,
                                    const AbstractType& interface,
                                    AbstractType* conflicting);
 
   // Modes for type resolution and finalization. The ordering is relevant.
   enum FinalizationKind {
-    kIgnore,             // Parsed type is ignored and replaced by Dynamic.
-    kDoNotResolve,       // Type resolution is postponed.
-    kTryResolve,         // Type resolution is attempted, but not required.
-    kFinalize,           // Type resolution and type finalization are required.
-                         // A malformed type is tolerated.
-    kFinalizeWellFormed  // Error-free resolution and finalization are required.
-                         // A malformed type is not tolerated.
+    kIgnore,                 // Parsed type is ignored and replaced by Dynamic.
+    kDoNotResolve,           // Type resolution is postponed.
+    kTryResolve,             // Type resolution is attempted, but not required.
+    kFinalize,               // Type resolution and type finalization are
+                             // required; a malformed type is tolerated.
+    kCanonicalize,           // Same as kFinalize, but with canonicalization.
+    kCanonicalizeWellFormed  // Error-free resolution, finalization, and
+                             // canonicalization are required; a malformed type
+                             // is not tolerated.
   };
 
   // Finalize given type while parsing class cls.
   // Also canonicalize type if applicable.
   static RawAbstractType* FinalizeType(const Class& cls,
                                        const AbstractType& type,
                                        FinalizationKind finalization);
 
   // Replace the malformed type with Dynamic and, depending on the given type
   // finalization mode and execution mode, mark the type as malformed or report
@@ skipping 53 matching lines @@
   static void ReportError(const Error& error);
   static void ReportError(const Script& script,
                           intptr_t token_index,
                           const char* format, ...);
   static void ReportError(const char* format, ...);
 };
 
 }  // namespace dart
 
 #endif  // VM_CLASS_FINALIZER_H_