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

runtime/vm/flow_graph_compiler.h

Index: runtime/vm/flow_graph_compiler.h
diff --git a/runtime/vm/flow_graph_compiler.h b/runtime/vm/flow_graph_compiler.h
index 7262d0e9c03589ab3ea89fe9f7cd40f2a74a2dc7..654ce85ad09bbee141337ee640ad04322608c930 100644
--- a/runtime/vm/flow_graph_compiler.h
+++ b/runtime/vm/flow_graph_compiler.h
@@ -710,15 +710,17 @@ class FlowGraphCompiler : public ValueObject {
   enum TypeTestStubKind {
     kTestTypeOneArg,
     kTestTypeTwoArgs,
-    kTestTypeThreeArgs,
+    kTestTypeFourArgs,
   };
 
-  RawSubtypeTestCache* GenerateCallSubtypeTestStub(TypeTestStubKind test_kind,
-                                                   Register instance_reg,
-                                                   Register type_arguments_reg,
-                                                   Register temp_reg,
-                                                   Label* is_instance_lbl,
-                                                   Label* is_not_instance_lbl);
+  RawSubtypeTestCache* GenerateCallSubtypeTestStub(
+      TypeTestStubKind test_kind,
+      Register instance_reg,
+      Register instantiator_type_arguments_reg,
+      Register function_type_arguments_reg,
+      Register temp_reg,
+      Label* is_instance_lbl,
+      Label* is_not_instance_lbl);
 
   void GenerateBoolToJump(Register bool_reg, Label* is_true, Label* is_false);