anchor.diff:        FunctionElement functionElement = element;
         FunctionSignature params = functionElement.computeSignature(compiler);
         params.orderedForEachParameter((Element parameterElement) {
  +        if (element.isGenerativeConstructorBody()) {
  +          ClosureScope scopeData = closureData.capturingScopes[node];
  +          if (scopeData != null
  +              && scopeData.capturedVariableMapping.containsKey(
  +                  parameterElement)) {
  +            // The parameter will be a field in the box passed as the
  +            // last parameter. So no need to have it.
  +            return;
  +          }
  +        }
           HInstruction parameter = builder.addParameter(parameterElement);
           builder.parameters[parameterElement] = parameter;
           directLocals[parameterElement] = parameter;
  
positive.code:       scopeData.capturedVariableMapping.forEach((Element from, Element to) {
          // The [from] can only be a parameter for function-scopes and not
          // loop scopes.
          if (from.isParameter()) {
            // Store the captured parameter in the box. Get the current value
            // before we put the redirection in place.
            HInstruction instruction = readLocal(from);
            redirectElement(from, to);
            // Now that the redirection is set up, the update to the local will
            // write the parameter value into the box.
            updateLocal(from, instruction);
          } else {
            redirectElement(from, to);
  
negative.code:       FunctionSignature functionSignature = body.computeSignature(compiler);
        int arity = functionSignature.parameterCount;
        functionSignature.orderedForEachParameter((parameter) {
          if (!localsHandler.isBoxed(parameter)) {
            // The parameter will be a field in the box passed as the
            // last parameter. So no need to pass it.
            bodyCallInputs.add(localsHandler.readLocal(parameter));
          }
        });
  
        // If parameters are checked, we pass the already computed
  