anchor.diff:  
     /// Performs type inference on the invocation expression.
     void resolveInvocation() {
  -    var deferredClosures = _visitArguments(rawType: rawType);
  +    var deferredClosures = _visitArguments();
       if (deferredClosures != null) {
  -      _resolveDeferredClosures(
  -          rawType: rawType, deferredClosures: deferredClosures);
  +      _resolveDeferredClosures(deferredClosures: deferredClosures);
       }
     }
   
  
positive.code:   /// be deferred due to the `inference-update-1` feature, a list of them is
    /// returned.
    List<_DeferredClosure>? _visitArguments(
        {required FunctionType? rawType,
        List<EqualityInfo<PromotableElement, DartType>?>? identicalInfo,
        Substitution? substitution,
        GenericInferrer? inferrer}) {
      assert(whyNotPromotedList.isEmpty);
  
negative.code: 
    /// Resolves any closures that were deferred by [_visitArguments].
    void _resolveDeferredClosures(
        {required Iterable<_DeferredClosure> deferredClosures,
        List<EqualityInfo<PromotableElement, DartType>?>? identicalInfo,
        Substitution? substitution,
        GenericInferrer? inferrer}) {
  