Distinguish between malformed and malbounded types more efficiently using the

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 39 matching lines @@
   // Allocate, finalize, and return a new malformed type as if it was declared
   // in class cls at the given token position.
   // If not null, prepend prev_error to the error message built from the format
   // string and its arguments.
   static RawType* NewFinalizedMalformedType(const Error& prev_error,
                                             const Script& script,
                                             intptr_t type_pos,
                                             const char* format, ...)
        PRINTF_ATTRIBUTE(4, 5);
 
-  // Depending on the given type, finalization mode, and execution mode, mark
-  // the given type as malformed or report a compile time error.
+  // Mark the given type as malformed.
   // If not null, prepend prev_error to the error message built from the format
   // string and its arguments.
   static void FinalizeMalformedType(const Error& prev_error,
                                     const Script& script,
                                     const Type& type,
                                     const char* format, ...)
        PRINTF_ATTRIBUTE(4, 5);
 
+  // Mark the given type as malbounded.
+  // If not null, prepend prev_error to the error message built from the format
+  // string and its arguments.
+  static void FinalizeMalboundedType(const Error& prev_error,
+                                     const Script& script,
+                                     const Type& type,
+                                     const char* format, ...)
+       PRINTF_ATTRIBUTE(4, 5);
+
   // Return false if we still have classes pending to be finalized.
   static bool AllClassesFinalized();
 
   // Return whether class finalization failed.
   // The function returns true if the finalization was successful.
   // If finalization fails, an error message is set in the sticky error field
   // in the object store.
   static bool FinalizePendingClasses();
 
   // Finalize the types appearing in the declaration of class 'cls', i.e. its
@@ skipping 77 matching lines @@
                           const char* format, ...) PRINTF_ATTRIBUTE(4, 5);
 
   // Verify implicit offsets recorded in the VM for direct access to fields of
   // Dart instances (e.g: _TypedListView, _ByteDataView).
   static void VerifyImplicitFieldOffsets();
 };
 
 }  // namespace dart
 
 #endif  // VM_CLASS_FINALIZER_H_