Implement eager instantiation and canonicalization of type arguments at run

runtime/lib/array.cc

 // 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.
 
 #include "platform/assert.h"
 #include "vm/bootstrap_natives.h"
 #include "vm/assembler.h"
 #include "vm/bigint_operations.h"
 #include "vm/exceptions.h"
 #include "vm/native_entry.h"
 #include "vm/object.h"
 
 namespace dart {
 
 DEFINE_NATIVE_ENTRY(List_allocate, 2) {
-  const AbstractTypeArguments& type_arguments =
-      AbstractTypeArguments::CheckedHandle(isolate, arguments->NativeArgAt(0));
+  const TypeArguments& type_arguments =
+      TypeArguments::CheckedHandle(isolate, arguments->NativeArgAt(0));
   const Instance& length = Instance::CheckedHandle(
       isolate, arguments->NativeArgAt(1));
   if (!length.IsSmi()) {
     const String& error = String::Handle(String::NewFormatted(
         "Length must be an integer in the range [0..%" Pd "].",
         Array::kMaxElements));
     Exceptions::ThrowArgumentError(error);
   }
   intptr_t len = Smi::Cast(length).Value();
   if (len < 0 || len > Array::kMaxElements) {
@@ skipping 95 matching lines @@
   Object& temp = Object::Handle();
   for (intptr_t i = 0; i < length; i++) {
     temp = from_array.At(i + offset);
     result.SetAt(i, temp);
   }
   result.MakeImmutable();
   return result.raw();
 }
 
 }  // namespace dart