anchor.diff:    }
   
     /**
  -   * This checks whether the given [executableElement] collides with the name of a static
  -   * method in one of its superclasses, and reports the appropriate warning if it does.
  -   *
  -   * @param executableElement the method to check.
  -   * @param errorNameTarget the node to report problems on.
  -   * @return `true` if and only if a warning was generated.
  +   * Check whether the given [executableElement] collides with the name of a
  +   * static method in one of its superclasses, and reports the appropriate
  +   * warning if it does. The [errorNameTarget] is the node to report problems
  +   * on.
  +   *
      * See [StaticTypeWarningCode.INSTANCE_METHOD_NAME_COLLIDES_WITH_SUPERCLASS_STATIC].
      */
     bool _checkForInstanceMethodNameCollidesWithSuperclassStatic(
  
positive.code:   }
  
    /**
     * This verifies that the passed expression can be assigned to its corresponding parameters.
     *
     * This method corresponds to BestPracticesVerifier.checkForArgumentTypeNotAssignable.
     *
     * @param expression the expression to evaluate
     * @param expectedStaticType the expected static type of the parameter
     * @param actualStaticType the actual static type of the argument
     * @param expectedPropagatedType the expected propagated type of the parameter, may be
     *          `null`
     * @param actualPropagatedType the expected propagated type of the parameter, may be `null`
     * @return `true` if and only if an error code is generated on the passed node
     * See [StaticWarningCode.ARGUMENT_TYPE_NOT_ASSIGNABLE],
     * [CompileTimeErrorCode.LIST_ELEMENT_TYPE_NOT_ASSIGNABLE],
     * [StaticWarningCode.LIST_ELEMENT_TYPE_NOT_ASSIGNABLE],
  
negative.code:   }
  
    /**
     * Verify that all classes of the given [withClause] are valid.
     *
     * See [CompileTimeErrorCode.MIXIN_DECLARES_CONSTRUCTOR],
     * [CompileTimeErrorCode.MIXIN_INHERITS_FROM_NOT_OBJECT], and
     * [CompileTimeErrorCode.MIXIN_REFERENCES_SUPER].
  