anchor.diff:          errorReporter: resolver.errorReporter,
         );
       }
  -    var returnType = InvocationInferrer.computeInvokeReturnType(invokeType);
  -    return _refineReturnType(resolver, node, returnType);
  +    var returnType = _refineReturnType(
  +        resolver, node, InvocationInferrer.computeInvokeReturnType(invokeType));
  +    _recordIdenticalInfo(
  +        resolver: resolver,
  +        node: node,
  +        argumentList: argumentList,
  +        identicalInfo: identicalInfo);
  +    return returnType;
     }
   
     AstNode _getErrorNode(Node node) => node;
  
positive.code:     resolver.checkUnreachableNode(argumentList);
      var flow = resolver.flowAnalysis.flow;
      var positionalParameterIndex = 0;
      List<EqualityInfo<PromotableElement, DartType>?>? identicalInfo =
          _isIdentical(node) ? [] : null;
      var arguments = argumentList.arguments;
      for (int i = 0; i < arguments.length; i++) {
        var argument = arguments[i];
  
negative.code:         whyNotPromotedList.add(flow.whyNotPromoted(argument));
        }
      }
    }
  
    /// Computes the return type of the method or function represented by the
    /// given type that is being invoked.
  