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

runtime/vm/flow_graph_inliner.cc

Index: runtime/vm/flow_graph_inliner.cc
diff --git a/runtime/vm/flow_graph_inliner.cc b/runtime/vm/flow_graph_inliner.cc
index 9601ea3b8c3791541febc72fa2b3cc4e69cde06c..094a557e337c768a5e8211040d632bb3ce833fe8 100644
--- a/runtime/vm/flow_graph_inliner.cc
+++ b/runtime/vm/flow_graph_inliner.cc
@@ -2431,7 +2431,7 @@ static bool InlineSetIndexed(FlowGraph* flow_graph,
     }
     AssertAssignableInstr* assert_value = new (Z) AssertAssignableInstr(
         token_pos, new (Z) Value(stored_value), new (Z) Value(type_args),
-        NULL,  // TODO(regis): Pass null value for function type arguments.
+        new (Z) Value(flow_graph->constant_null()),  // Function type arguments.
         value_type, Symbols::Value(), call->deopt_id());
     cursor = flow_graph->AppendTo(cursor, assert_value, call->env(),
                                   FlowGraph::kValue);