anchor.diff:      if (linkedNode != null) {
         return linkedContext.setVariableType(linkedNode, type);
       }
  -    _type = _checkElementOfType(type);
  +    _type = type;
     }
   
     @override
  
positive.code:     if (linkedNode != null) {
        linkedContext.setReturnType(linkedNode, returnType);
      }
      _returnType = _checkElementOfType(returnType);
      // We do this because of return type inference. At the moment when we
      // create a local function element we don't know yet its return type,
      // because we have not done static type analysis yet.
  
negative.code:     if (linkedNode != null) {
        return linkedContext.setVariableType(linkedNode, type);
      }
      _type = type;
    }
  
    /// Return the error reported during type inference for this variable, or
  