anchor.diff:    bool get isConst;
   
     /**
  -   * Returns true if this mirror is equal to [other].
  +   * Whether this mirror is equal to [other].
      *
      * The equality holds if and only if
  -   * (1) [other] is a mirror of the same kind
  -   * and
  -   * (2)  [:simpleName == other.simpleName:] and
  -   * [:owner == other.owner:].
  -   */
  -   bool operator == (other);
  +   *
  +   * 1. [other] is a mirror of the same kind, and
  +   * 2. [:simpleName == other.simpleName:] and [:owner == other.owner:].
  +   */
  +  bool operator == (other);
   }
   
   /**
  
positive.code: abstract class TypedefMirror implements TypeMirror {
    /**
     * The defining type for this typedef.
     * If the the type referred to by the reflectee is a function type 
     * *F*, the result will be [:FunctionTypeMirror:] reflecting *F*
     * which is abstract and has an abstract method [:call:] whose 
     * signature corresponds to *F*.
     *
     * For instance [:void f(int):] is the referent for [:typedef void f(int):].
     */
    FunctionTypeMirror get referent;
  
negative.code:   /**
     * Invokes the named function and returns a mirror on the result.
     *
     * Let *o* be the object reflected by this mirror, let *f* be the simple name
     * of the member denoted by [memberName], let *a1, ..., an* be the elements
     * of [positionalArguments], let *k1, ..., km* be the identifiers denoted by
     * the elements of [namedArguments.keys], and let *v1, ..., vm* be the
     * elements of [namedArguments.values]. Then this method will perform the
     * method invocation *o.f(a1, ..., an, k1: v1, ..., km: vm)* in a scope that
     * has access to the private members of *o* (if *o* is a class or library) or
     * the private members of the class of *o* (otherwise).
     *
     * If the invocation returns a result *r*, this method returns the result of
     * calling [reflect]\(*r*\).
     *
     * If the invocation causes a compilation error the effect is the same as if
     * a non-reflective compilation error had been encountered.
     *
     * If the invocation throws an exception *e* (that it does not catch), this
     * method throws *e*.
     */
    /*
     * TODO(turnidge): Handle ambiguous names.
  