anchor.diff:            library: _definingLibrary, thisType: target is! SuperExpression);
       }
       return null;
  -  }
  -
  -  /**
  -   * Given some class [element], this method uses [_subtypeManager] to find the
  -   * set of all subtypes; the subtypes are then searched for a member (method,
  -   * getter, or setter), that has the given [memberName]. The flag [asMethod]
  -   * should be `true` if the methods should be searched for in the subtypes. The
  -   * flag [asAccessor] should be `true` if the accessors (getters and setters)
  -   * should be searched for in the subtypes.
  -   */
  -  bool _memberFoundInSubclass(
  -      Element element, String memberName, bool asMethod, bool asAccessor) {
  -    if (element is ClassElement) {
  -      _subtypeManager.ensureLibraryVisited(_definingLibrary);
  -      HashSet<ClassElement> subtypeElements =
  -          _subtypeManager.computeAllSubtypes(element);
  -      for (ClassElement subtypeElement in subtypeElements) {
  -        if (asMethod && subtypeElement.getMethod(memberName) != null) {
  -          return true;
  -        } else if (asAccessor &&
  -            (subtypeElement.getGetter(memberName) != null ||
  -                subtypeElement.getSetter(memberName) != null)) {
  -          return true;
  -        }
  -      }
  -    }
  -    return false;
     }
   
     /**
  
positive.code:       MethodElement staticMethod =
            _lookUpMethod(leftOperand, staticType, methodName);
        node.staticElement = staticMethod;
        DartType propagatedType = _getPropagatedType(leftOperand);
        MethodElement propagatedMethod =
            _lookUpMethod(leftOperand, propagatedType, methodName);
        node.propagatedElement = propagatedMethod;
        if (_shouldReportMissingMember(staticType, staticMethod)) {
          if (leftOperand is SuperExpression) {
            _recordUndefinedToken(
  
negative.code:         // (if we are about to create a hint using type propagation,
          // then we can use type propagation here as well)
          DartType targetType = null;
          targetType = _getStaticType(target);
          if (targetType != null &&
              targetType.isDartCoreFunction &&
              methodName.name == FunctionElement.CALL_METHOD_NAME) {
  