[VM generic function reification] Support generic functions in Invocation class.

runtime/vm/verifier.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/verifier.h"
 
 #include "platform/assert.h"
 #include "vm/dart.h"
 #include "vm/dart_api_state.h"
 #include "vm/freelist.h"
@@ skipping 68 matching lines @@
   VerifyWeakPointersVisitor weak_visitor(&visitor);
   // Visit weak handles and prologue weak handles.
   isolate->VisitWeakPersistentHandles(&weak_visitor);
 }
 
 #if defined(DEBUG)
 VerifyCanonicalVisitor::VerifyCanonicalVisitor(Thread* thread)
     : thread_(thread), instanceHandle_(Instance::Handle(thread->zone())) {}
 
 void VerifyCanonicalVisitor::VisitObject(RawObject* obj) {
-  if (obj->GetClassId() >= kInstanceCid) {
+  if ((obj->GetClassId() >= kInstanceCid) &&
+      (obj->GetClassId() != kTypeArgumentsCid)) {
     if (obj->IsCanonical()) {
       instanceHandle_ ^= obj;
       const bool is_canonical = instanceHandle_.CheckIsCanonical(thread_);
       if (!is_canonical) {
         OS::PrintErr("Instance `%s` is not canonical!\n",
                      instanceHandle_.ToCString());
       }
       ASSERT(is_canonical);
     }
   }
 }
 #endif  // defined(DEBUG)
 
 }  // namespace dart