Add Genericity enum in VM to distinguish how a type is uninstantiated.

runtime/vm/kernel_to_il.cc

 // 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.
 
 #include <map>
 #include <set>
 #include <string>
 
 #include "vm/kernel_to_il.h"
 
@@ skipping 2094 matching lines @@
     instructions += LoadLocal(scopes_->this_variable);
     instructions += LoadField(type_arguments_field_offset);
   } else {
     instructions += NullConstant();
   }
   return instructions;
 }
 
 
 Fragment FlowGraphBuilder::InstantiateType(const AbstractType& type) {
-  InstantiateTypeInstr* instr = new (Z) InstantiateTypeInstr(
-      TokenPosition::kNoSource, type, *active_class_.klass, Pop());
+  InstantiateTypeInstr* instr = new (Z)
+      InstantiateTypeInstr(TokenPosition::kNoSource, type, Pop(),
+                           NULL);  // TODO(regis): Pop function type arguments.
   Push(instr);
   return Fragment(instr);
 }
 
 
 Fragment FlowGraphBuilder::InstantiateTypeArguments(
     const TypeArguments& type_arguments) {
   InstantiateTypeArgumentsInstr* instr = new (Z) InstantiateTypeArgumentsInstr(
-      TokenPosition::kNoSource, type_arguments, *active_class_.klass, Pop());
+      TokenPosition::kNoSource, type_arguments, *active_class_.klass, Pop(),
+      NULL);  // TODO(regis): Pop function type arguments.
   Push(instr);
   return Fragment(instr);
 }
 
 
 Fragment FlowGraphBuilder::TranslateInstantiatedTypeArguments(
     const TypeArguments& type_arguments) {
   Fragment instructions;
 
   if (type_arguments.IsNull() || type_arguments.IsInstantiated()) {
@@ skipping 1594 matching lines @@
 Fragment FlowGraphBuilder::AssertAssignable(const dart::AbstractType& dst_type,
                                             const dart::String& dst_name) {
   Fragment instructions;
   Value* value = Pop();
 
   instructions += LoadInstantiatorTypeArguments();
   Value* type_args = Pop();
 
   AssertAssignableInstr* instr = new (Z)
       AssertAssignableInstr(TokenPosition::kNoSource, value, type_args,
+                            NULL,  // TODO(regis): Pop function type arguments.
                             dst_type, dst_name, H.thread()->GetNextDeoptId());
   Push(instr);
 
   instructions += Fragment(instr);
 
   return instructions;
 }
 
 
 FlowGraph* FlowGraphBuilder::BuildGraphOfMethodExtractor(
@@ skipping 2690 matching lines @@
     thread->clear_sticky_error();
     return error.raw();
   }
 }
 
 
 }  // namespace kernel
 }  // namespace dart
 
 #endif  // !defined(DART_PRECOMPILED_RUNTIME)