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:   @override
    Object visitConstructorDeclaration(ConstructorDeclaration node) {
      ExecutableElement outerFunction = _enclosingFunction;
      try {
        _enclosingFunction = node.element;
        FunctionType type = _enclosingFunction.type;
        InferenceContext.setType(node.body, type.returnType);
        super.visitConstructorDeclaration(node);
      } finally {
        _enclosingFunction = outerFunction;
      }
      ConstructorElementImpl constructor = node.element;
  
negative.code:   @override
    Object visitFunctionExpression(FunctionExpression node) {
      ExecutableElement outerFunction = _enclosingFunction;
      FunctionBody outerFunctionBody = _currentFunctionBody;
      try {
        _currentFunctionBody = node.body;
        _enclosingFunction = node.element;
        _overrideManager.enterScope();
        try {
  