Update function type checking in VM after spec change (issue 444):

runtime/vm/object.h

 // 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.
 
 #ifndef VM_OBJECT_H_
 #define VM_OBJECT_H_
 
 #include "vm/assert.h"
 #include "vm/dart.h"
 #include "vm/globals.h"
@@ skipping 1318 matching lines @@
                             const TypeArguments& instantiator,
                             intptr_t offset) const;
 
   // Checks the subtype or assignability relationship between the type of this
   // function and the type of the other function.
   bool TestType(TypeTestKind test,
                 const TypeArguments& type_arguments,
                 const Function& other,
                 const TypeArguments& other_type_arguments) const;
 
+  // Checks the type of the formal parameter at the given position for
+  // assignability relationship between the type of this function and the type
+  // of the other function.
+  bool TestParameterType(intptr_t parameter_position,
+                         const TypeArguments& type_arguments,
+                         const Function& other,
+                         const TypeArguments& other_type_arguments) const;
+
   HEAP_OBJECT_IMPLEMENTATION(Function, Object);
   friend class Class;
 };
 
 
 class Field : public Object {
  public:
   RawString* name() const { return raw_ptr()->name_; }
   bool is_static() const { return raw_ptr()->is_static_; }
   bool is_final() const { return raw_ptr()->is_final_; }
@@ skipping 1880 matching lines @@
 }
 
 
 void Context::SetAt(intptr_t index, const Instance& value) const {
   StorePointer(InstanceAddr(index), value.raw());
 }
 
 }  // namespace dart
 
 #endif  // VM_OBJECT_H_