anchor.diff:    bool resolveOnlyCommentInFunctionBody = false;
   
     /**
  +   * Body of the function currently being analyzed, if any.
  +   */
  +  FunctionBody _currentFunctionBody;
  +
  +  /**
      * Initialize a newly created visitor to resolve the nodes in an AST node.
      *
      * The [definingLibrary] is the element for the library containing the node
  
positive.code:       InferenceContext.setType(node.body, returnType);
        super.visitMethodDeclaration(node);
      } finally {
        _enclosingFunction = outerFunction;
      }
      return null;
  
negative.code:     VariableElement element = getPromotionStaticElement(expression);
      if (element != null) {
        // may be mutated somewhere in closure
        if (_currentFunctionBody.isPotentiallyMutatedInClosure(element)) {
          return;
        }
        // prepare current variable type
  