Support inlining of calls where type arguments are passed to generic functions.

runtime/vm/flow_graph_type_propagator.cc

Index: runtime/vm/flow_graph_type_propagator.cc
diff --git a/runtime/vm/flow_graph_type_propagator.cc b/runtime/vm/flow_graph_type_propagator.cc
index fe3f74222035aec52e969c3e02d3af13226a1ca3..88465a602635906b6b22041b36eba728d6c23744 100644
--- a/runtime/vm/flow_graph_type_propagator.cc
+++ b/runtime/vm/flow_graph_type_propagator.cc
@@ -980,9 +980,15 @@ CompileType RelationalOpInstr::ComputeType() const {
 }
 
 
-CompileType CurrentContextInstr::ComputeType() const {
-  return CompileType(CompileType::kNonNullable, kContextCid,
-                     &Object::dynamic_type());
+CompileType SpecialParameterInstr::ComputeType() const {
+  switch (kind()) {
+    case kContext:
+      return CompileType::FromCid(kContextCid);
+    case kTypeArgs:
+      return CompileType::FromCid(kTypeArgumentsCid);
+  }
+  UNREACHABLE();
+  return CompileType::Dynamic();
 }