anchor.diff:        // TODO(sigmund): integrate analyzer errors with static-info (issue #6).
         failure = resolver.logErrors(unit.source, reporter) || failure;
         unit.node.visitChildren(codeChecker);
  -      failure = failure || codeChecker._failure;
         reporter.leaveSource();
       }
       reporter.leaveLibrary();
     }
  +  failure = failure || codeChecker.failure;
     return new CheckerResults(libraries, rules, failure);
   }
   
  
positive.code:   }
  
  
    /// Looks up the declaration that matches [element] in [type] and returns it's
    /// declared type.
    FunctionType _getBaseMemberType(FunctionType subType,
        InterfaceType type, ExecutableElement member) {
      ExecutableElement baseMethod;
      String memberName = member.name;
  
  
negative.code:     FunctionType subType = _rules.elementType(element);
      // TODO(vsm): Test for generic
      final isGetter = element is PropertyAccessorElement && element.isGetter;
      FunctionType baseType = _getMemberType(type, element);
  
      if (baseType != null) {
        //var result = _checkOverride(subType, baseType);
  