Complete generic closure type checking.

runtime/vm/class_finalizer.cc

 // Copyright (c) 2011, 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/flags.h"
 #include "vm/heap.h"
 #include "vm/isolate.h"
 #include "vm/longjump.h"
@@ skipping 146 matching lines @@
       while (class_function.IsNull()) {
         test_class = test_class.SuperClass();
         if (test_class.IsNull()) break;
         class_function = test_class.LookupDynamicFunction(function_name);
       }
       if (class_function.IsNull()) {
         OS::Print("%s implements '%s' missing: '%s'\n",
             class_name.ToCString(),
             interface_name.ToCString(),
             function_name.ToCString());
-      } else if (class_function.IsSubtypeOf(interface_function)) {
+      } else if (class_function.IsSubtypeOf(TypeArguments::Handle(),
+                                            interface_function,
+                                            TypeArguments::Handle())) {
         OS::Print("The type of instance method '%s' in class '%s' is not a "
                   "subtype of the type of '%s' in interface '%s'\n",
                   function_name.ToCString(),
                   class_name.ToCString(),
                   function_name.ToCString(),
                   interface_name.ToCString());
       }
     }
   }
 }
@@ skipping 832 matching lines @@
   ASSERT(msg_buffer != NULL);
   va_list args;
   va_start(args, format);
   OS::VSNPrint(msg_buffer, kBufferLength, format, args);
   va_end(args);
   isolate->long_jump_base()->Jump(1, msg_buffer);
   UNREACHABLE();
 }
 
 }  // namespace dart