Change compile-time errors into dynamic errors in instance creation expression

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 11 matching lines @@
 class Script;
 class Type;
 class UnresolvedClass;
 
 // Traverses all pending, unfinalized classes, validates and marks them as
 // finalized.
 class ClassFinalizer : public AllStatic {
  public:
   // 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.
-    kCanonicalize,           // Same as kFinalize, but with canonicalization.
-    kCanonicalizeWellFormed  // Error-free resolution, finalization, and
-                             // canonicalization are required; a malformed type
-                             // is not tolerated.
+    kIgnore,                   // Type is ignored and replaced by Dynamic.
+    kDoNotResolve,             // Type resolution is postponed.
+    kTryResolve,               // Type resolution is attempted.
+    kFinalize,                 // Type resolution and type finalization are
+                               // required; a malformed type is tolerated.
+    kCanonicalize,             // Same as kFinalize, but with canonicalization.
+    kCanonicalizeForCreation,  // Same as kCanonicalize, but do not tolerate
+                               // wrong number of type arguments.
+    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);
 
   // Allocate, finalize, and return a new malformed type as if it was declared
   // in class cls at the given token position. Build the error message from the
@@ skipping 67 matching lines @@
   static void ReportError(const Error& error);
   static void ReportError(const Script& script,
                           intptr_t token_index,
                           const char* format, ...) PRINTF_ATTRIBUTE(3, 4);
   static void ReportError(const char* format, ...) PRINTF_ATTRIBUTE(1, 2);
 };
 
 }  // namespace dart
 
 #endif  // VM_CLASS_FINALIZER_H_