Implement generic function type syntax in the VM (fixes #27966).

runtime/vm/class_finalizer.cc

 // Copyright (c) 2013, 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 "vm/class_finalizer.h"
 
 #include "vm/code_generator.h"
 #include "vm/flags.h"
 #include "vm/heap.h"
 #include "vm/isolate.h"
@@ skipping 547 matching lines @@
     const Function& signature = Function::Handle(Type::Cast(type).signature());
     Type& signature_type = Type::Handle(signature.SignatureType());
     if (signature_type.raw() != type.raw()) {
       ResolveType(cls, signature_type);
     } else {
       const Class& scope_class = Class::Handle(type.type_class());
       if (scope_class.IsTypedefClass()) {
         ResolveSignature(scope_class, signature);
       } else {
         ResolveSignature(cls, signature);
+        if ((type.arguments() != TypeArguments::null()) &&
+            signature.HasInstantiatedSignature()) {
+          ASSERT(scope_class.IsGeneric());
+          // Although the scope class of this function type is generic,
+          // the signature of this function type does not refer to any
+          // of its type parameters. Reset its scope class to _Closure.
+          Type::Cast(type).set_type_class(Class::Handle(
+              Isolate::Current()->object_store()->closure_class()));
+          type.set_arguments(Object::null_type_arguments());
+        }
       }
       if (signature.IsSignatureFunction()) {
         // Drop fields that are not necessary anymore after resolution.
         // The parent function, owner, and token position of a shared
         // canonical function type are meaningless, since the canonical
         // representent is picked arbitrarily.
         signature.set_parent_function(Function::Handle());
         // TODO(regis): As long as we support metadata in typedef signatures,
         // we cannot reset these fields used to reparse a typedef.
         // Note that the scope class of a typedef function type is always
@@ skipping 121 matching lines @@
     ResolveUpperBounds(type_class);
   }
 
   // The finalized type argument vector needs num_type_arguments types.
   const intptr_t num_type_arguments = type_class.NumTypeArguments();
   // The class has num_type_parameters type parameters.
   const intptr_t num_type_parameters = type_class.NumTypeParameters();
 
   // If we are not reifying types, drop type arguments.
   if (!FLAG_reify) {
-    type.set_arguments(TypeArguments::Handle(zone, TypeArguments::null()));
+    type.set_arguments(Object::null_type_arguments());
   }
 
   // Initialize the type argument vector.
   // Check the number of parsed type arguments, if any.
   // Specifying no type arguments indicates a raw type, which is not an error.
   // However, type parameter bounds are checked below, even for a raw type.
   TypeArguments& arguments = TypeArguments::Handle(zone, type.arguments());
   if (!arguments.IsNull() && (arguments.Length() != num_type_parameters)) {
     // Wrong number of type arguments. The type is mapped to the raw type.
     if (Isolate::Current()->error_on_bad_type()) {
@@ skipping 2678 matching lines @@
   ASSERT(fields_array.Length() == ByteBuffer::NumberOfFields());
   field ^= fields_array.At(0);
   ASSERT(field.Offset() == ByteBuffer::data_offset());
   name ^= field.name();
   expected_name ^= String::New("_data");
   ASSERT(String::EqualsIgnoringPrivateKey(name, expected_name));
 #endif
 }
 
 }  // namespace dart