Pass a second type argument vector to all type instantiation calls in the VM.

runtime/vm/constants_dbc.h

 // Copyright (c) 2016, 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 RUNTIME_VM_CONSTANTS_DBC_H_
 #define RUNTIME_VM_CONSTANTS_DBC_H_
 
 #include "platform/globals.h"
 #include "platform/assert.h"
 #include "platform/utils.h"
@@ skipping 517 matching lines @@
 //    Clone context stored in TOS.
 //
 //  - MoveSpecial rA, D
 //
 //    Copy special values from inside interpreter to FP[rA]. Currently only
 //    used to pass exception object (D = 0) and stack trace object (D = 1) to
 //    catch handler.
 //
 //  - InstantiateType D
 //
-//    Instantiate type PP[D] with instantiator type arguments SP[0].
+//    Instantiate type PP[D] with instantiator type arguments SP[-1] and
+//    function type arguments SP[0].
 //
 //  - InstantiateTypeArgumentsTOS D
 //
-//    Instantiate type arguments PP[D] with instantiator SP[0].
+//    Instantiate type arguments PP[D] with instantiator type arguments SP[-1]
+//    and function type arguments SP[0].
 //
 //  - InstanceOf
 //
-//    Test if instance SP[-3] with type arguments SP[-2] is  a subtype of SP[-1]
-//    using SubtypeTestCache SP[0], with result placed at top of stack.
+//    Test if instance SP[-4] with instantiator type arguments SP[-3] and
+//    function type arguments SP[-2] is a subtype of type SP[-1] using
+//    SubtypeTestCache SP[0], with result placed at top of stack.
 //
 //  - AssertAssignable A, D
 //
-//    Assert that SP[-3] is assignable to variable named SP[0] of type
-//    SP[-1] with type arguments SP[-2] using SubtypeTestCache PP[D].
+//    Assert that instance SP[-4] is assignable to variable named SP[0] of
+//    type SP[-1] with instantiator type arguments SP[-3] and function type
+//    arguments SP[-2] using SubtypeTestCache PP[D].
 //    If A is 1, then the instance may be a Smi.
 //
 //  - BadTypeError
 //
-//    If SP[-3] is non-null, throws a BadType error by calling into the runtime.
+//    If SP[-4] is non-null, throws a BadType error by calling into the runtime.
 //    Assumes that the stack is arranged the same as for AssertAssignable.
 //
 //  - AssertBoolean A
 //
 //    Assert that TOS is a boolean (A = 1) or that TOS is not null (A = 0).
 //
 //  - TestSmi rA, rD
 //
 //    If FP[rA] & FP[rD] != 0, then skip the next instruction. FP[rA] and FP[rD]
 //    must be Smis.
@@ skipping 415 matching lines @@
 
 // After a comparison, the condition NEXT_IS_TRUE means the following
 // instruction is executed if the comparision is true and skipped over overwise.
 // Conidition NEXT_IS_FALSE means the following instruction is executed if the
 // comparison is false and skipped over otherwise.
 enum Condition { NEXT_IS_TRUE, NEXT_IS_FALSE };
 
 }  // namespace dart
 
 #endif  // RUNTIME_VM_CONSTANTS_DBC_H_