anchor.diff:    }
   
   
  -  /// Looks up the declaration that matches [element] in [type] and returns it's
  +  /// Looks up the declaration that matches [member] in [type] and returns it's
     /// declared type.
  -  FunctionType _getBaseMemberType(FunctionType subType,
  -      InterfaceType type, ExecutableElement member) {
  +  FunctionType _getMemberType(InterfaceType type, ExecutableElement member) {
       ExecutableElement baseMethod;
       String memberName = member.name;
   
  
positive.code:     } else if (isSetter) {
        baseMethod = type.getSetter(memberName);
      } else {
        if (memberName == '-') {
          // operator- can be overloaded!
          final len = subType.parameters.length;
          for (final method in type.methods) {
            if (method.name == memberName && method.parameters.length == len) {
              baseMethod = method;
              break;
            }
          }
        } else {
          baseMethod = type.getMethod(memberName);
        }
      }
      if (baseMethod == null) return null;
      return _rules.elementType(baseMethod);
  
negative.code:       // TODO(sigmund): integrate analyzer errors with static-info (issue #6).
        failure = resolver.logErrors(unit.source, reporter) || failure;
        unit.node.visitChildren(codeChecker);
        reporter.leaveSource();
      }
      reporter.leaveLibrary();
    }
    failure = failure || codeChecker.failure;
    return new CheckerResults(libraries, rules, failure);
  }
  
  