Add missing type finalization for function literals not assigned to a function

runtime/vm/intermediate_language.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 "vm/intermediate_language.h"
 
 #include "vm/bit_vector.h"
 #include "vm/dart_entry.h"
 #include "vm/flow_graph_builder.h"
 #include "vm/flow_graph_compiler.h"
@@ skipping 770 matching lines @@
 
 RawAbstractType* CreateArrayComp::StaticType() const {
   UNREACHABLE();
   return AbstractType::null();
 }
 
 
 RawAbstractType* CreateClosureComp::StaticType() const {
   const Function& fun = function();
   const Class& signature_class = Class::Handle(fun.signature_class());
-  // TODO(regis): The signature type may be generic. Consider upper bounds.
-  // For now, we return Dynamic (no type test elimination) if the signature
-  // class is parameterized, or a non-parameterized finalized type otherwise.
-  if (signature_class.HasTypeArguments()) {
-    return Type::DynamicType();
-  }
-  // Make sure we use the canonical signature class.
-  const Type& type = Type::Handle(signature_class.SignatureType());
-  const Class& canonical_signature_class = Class::Handle(type.type_class());
-  return Type::NewNonParameterizedType(canonical_signature_class);
+  return signature_class.SignatureType();
 }
 
 
 RawAbstractType* AllocateObjectComp::StaticType() const {
   UNREACHABLE();
   return AbstractType::null();
 }
 
 
 RawAbstractType* AllocateObjectWithBoundsCheckComp::StaticType() const {
@@ skipping 502 matching lines @@
   const ExternalLabel label(closure_function.ToCString(), stub.EntryPoint());
   compiler->GenerateCall(token_pos(), try_index(), &label,
                          PcDescriptors::kOther);
   __ Drop(2);  // Discard type arguments and receiver.
 }
 
 
 #undef __
 
 }  // namespace dart