anchor.diff:    }
   }
   
  -/**
  - * Instances of the class [UnusedLocalElementsVerifier] traverse an AST
  - * looking for cases of [HintCode.UNUSED_ELEMENT], [HintCode.UNUSED_FIELD],
  - * [HintCode.UNUSED_LOCAL_VARIABLE], etc.
  - */
  +/// Instances of the class [UnusedLocalElementsVerifier] traverse an AST
  +/// looking for cases of [HintCode.UNUSED_ELEMENT], [HintCode.UNUSED_FIELD],
  +/// [HintCode.UNUSED_LOCAL_VARIABLE], etc.
   class UnusedLocalElementsVerifier extends RecursiveAstVisitor {
  -  /**
  -   * The error listener to which errors will be reported.
  -   */
  +  /// The error listener to which errors will be reported.
     final AnalysisErrorListener _errorListener;
   
  -  /**
  -   * The elements know to be used.
  -   */
  +  /// The elements know to be used.
     final UsedLocalElements _usedElements;
   
  -  /**
  -   * Create a new instance of the [UnusedLocalElementsVerifier].
  -   */
  +  /// Create a new instance of the [UnusedLocalElementsVerifier].
     UnusedLocalElementsVerifier(this._errorListener, this._usedElements);
   
     visitSimpleIdentifier(SimpleIdentifier node) {
  
positive.code:     }
    }
  
    /**
     * Given some [expression], return [ValidResult.RESULT_TRUE] if it is `true`,
     * [ValidResult.RESULT_FALSE] if it is `false`, or `null` if the expression is
     * not a constant boolean value.
     */
    EvaluationResultImpl _getConstantBooleanValue(Expression expression) {
      if (expression is BooleanLiteral) {
        if (expression.value) {
  
negative.code:     return currentScope.captureOverrides(variableList);
    }
  
    /// Enter a new override scope.
    void enterScope() {
      currentScope = new TypeOverrideManager_TypeOverrideScope(currentScope);
    }
  
    /// Exit the current override scope.
    void exitScope() {
      if (currentScope == null) {
        throw new StateError("No scope to exit");
  