anchor.diff:    }
   
     /**
  -   * This verifies that the switch cases in the given switch statement is terminated with 'break',
  -   * 'continue', 'return' or 'throw'.
  -   *
  -   * @param node the switch statement containing the cases to be checked
  -   * @return `true` if and only if an error code is generated on the passed node
  +   * Verify that the switch cases in the given switch [statement] are terminated
  +   * with 'break', 'continue', 'return' or 'throw'.
  +   *
      * See [StaticWarningCode.CASE_BLOCK_NOT_TERMINATED].
      */
     bool _checkForCaseBlocksNotTerminated(SwitchStatement node) {
  
positive.code: import 'utilities_dart.dart';
  
  /**
   * Instances of the class `ErrorVerifier` traverse an AST structure looking for additional
   * errors and warnings not covered by the parser and resolver.
   */
  class ErrorVerifier extends RecursiveAstVisitor<Object> {
    /**
     * Static final string with value `"getter "` used in the construction of the
     * [StaticWarningCode.NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_ONE], and similar, error
     * code messages.
     *
     * See [_checkForNonAbstractClassInheritsAbstractMember].
     */
  
negative.code:       (result.value != null && result.value.isUserDefinedObject);
  
    /**
     * Check that the given class [element] is not a superinterface to itself. The
     * [path] is a list containing the potentially cyclic implements path.
     *
     * See [CompileTimeErrorCode.RECURSIVE_INTERFACE_INHERITANCE],
     * [CompileTimeErrorCode.RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_EXTENDS],
     * [CompileTimeErrorCode.RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_IMPLEMENTS],
     * and [CompileTimeErrorCode.RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_WITH].
     */
    bool _safeCheckForRecursiveInterfaceInheritance(
        ClassElement classElt, List<ClassElement> path) {
      // Detect error condition.
      int size = path.length;
      // If this is not the base case (size > 0), and the enclosing class is the
      // given class element then an error an error.
      if (size > 0 && _enclosingClass == classElt) {
        String enclosingClassName = _enclosingClass.displayName;
        if (size > 1) {
  