anchor.diff:              localsHandler.getTypeVariableAsLocal(typeVariable), argument);
         });
       }
  -    if (_rtiNeed.methodNeedsTypeArguments(function)) {
  -      bool inlineTypeParameters =
  -          function.parameterStructure.typeParameters == 0;
  -      for (TypeVariableType typeVariable
  -          in _elementEnvironment.getFunctionTypeVariables(function)) {
  -        HInstruction argument;
  -        if (inlineTypeParameters) {
  -          // Add inlined type parameters.
  -          argument = _computeTypeArgumentDefaultValue(function, typeVariable);
  -        } else {
  -          argument = compiledArguments[argumentIndex++];
  -        }
  -        localsHandler.updateLocal(
  -            localsHandler.getTypeVariableAsLocal(typeVariable), argument);
  -      }
  -    }
  +
       assert(
           argumentIndex == compiledArguments.length ||
               !_rtiNeed.methodNeedsTypeArguments(function) &&
  
positive.code:     }
      bool needsTypeArguments = _rtiNeed.methodNeedsTypeArguments(function);
      bool elideTypeParameters = function.parameterStructure.typeParameters == 0;
      for (TypeVariableType typeVariable
          in _elementEnvironment.getFunctionTypeVariables(function)) {
        HInstruction param;
        bool erased = false;
        if (elideTypeParameters) {
  
negative.code: 
    /// Extend current method parameters with parameters for the function type
    /// variables.
    void _addFunctionTypeVariablesIfNeeded(MemberEntity member) {
      if (member is! FunctionEntity) return;
  
  