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

runtime/vm/flow_graph_compiler_dbc.cc

Index: runtime/vm/flow_graph_compiler_dbc.cc
diff --git a/runtime/vm/flow_graph_compiler_dbc.cc b/runtime/vm/flow_graph_compiler_dbc.cc
index 5e0f8bce871702bc31336f5531f12c7461e89934..47cfb97c4d0c605ba11660405c98e1837f27ef24 100644
--- a/runtime/vm/flow_graph_compiler_dbc.cc
+++ b/runtime/vm/flow_graph_compiler_dbc.cc
@@ -234,8 +234,9 @@ void FlowGraphCompiler::GenerateAssertAssignable(TokenPosition token_pos,
   }
 
   if (is_optimizing()) {
-    __ Push(locs->in(0).reg());
-    __ Push(locs->in(1).reg());
+    __ Push(locs->in(0).reg());  // Instance.
+    __ Push(locs->in(1).reg());  // Instantiator type arguments.
+    __ Push(locs->in(2).reg());  // Function type arguments.
   }
   __ PushConstant(dst_type);
   __ PushConstant(dst_name);