Check for a passed-in type argument vector in the prolog of generic functions.

runtime/vm/scopes.cc

 // Copyright (c) 2012, 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 "vm/scopes.h"
 
 #include "vm/object.h"
 #include "vm/stack_frame.h"
 #include "vm/symbols.h"
 
@@ skipping 211 matching lines @@
       *found_captured_variables = true;
     } else {
       parameter->set_index(frame_index--);
     }
   }
   // No overlapping of parameters and locals.
   ASSERT(frame_index >= first_frame_index);
   frame_index = first_frame_index;
   while (pos < num_variables()) {
     LocalVariable* variable = VariableAt(pos);
-    pos++;
     if (variable->owner() == this) {
       if (variable->is_captured()) {
         AllocateContextVariable(variable, &context_owner);
         *found_captured_variables = true;
+        if (variable->name().raw() ==
+            Symbols::FunctionTypeArgumentsVar().raw()) {
+          ASSERT(pos == num_parameters);
+          // A captured type args variable has a slot allocated in the frame and
+          // one in the context, where it gets copied to.
+          frame_index--;
+        }
       } else {
+        ASSERT((variable->name().raw() !=
+                Symbols::FunctionTypeArgumentsVar().raw()) ||
+               (pos == num_parameters));
         variable->set_index(frame_index--);
       }
     }
+    pos++;
   }
   // Allocate variables of all children.
   int min_frame_index = frame_index;  // Frame index decreases with allocations.
   LocalScope* child = this->child();
   while (child != NULL) {
-    int const dummy_parameter_index = 0;    // Ignored, since no parameters.
-    int const num_parameters_in_child = 0;  // No parameters in children scopes.
+    const int dummy_parameter_index = 0;    // Ignored, since no parameters.
+    const int num_parameters_in_child = 0;  // No parameters in children scopes.
     int child_frame_index = child->AllocateVariables(
         dummy_parameter_index, num_parameters_in_child, frame_index,
         context_owner, found_captured_variables);
     if (child_frame_index < min_frame_index) {
       min_frame_index = child_frame_index;
     }
     child = child->sibling();
   }
   return min_frame_index;
 }
@@ skipping 468 matching lines @@
     return fixed_parameter_count - (index() - kParamEndSlotFromFp);
   } else {
     // Shift negative indexes so that the lowest one is 0 (they are still
     // non-positive).
     return fixed_parameter_count - (index() - kFirstLocalSlotFromFp);
   }
 }
 
 
 }  // namespace dart