anchor.diff:        hasPublishedDocs: true);
   
     /**
  -   * `Function` should not be extended anymore.
  +   * No parameters.
      */
     static const HintCode DEPRECATED_EXTENDS_FUNCTION = HintCode(
  -      'DEPRECATED_EXTENDS_FUNCTION', "Extending 'Function' is deprecated.",
  -      correction: "Try removing 'Function' from the 'extends' clause.");
  +      'DEPRECATED_SUBTYPE_OF_FUNCTION', "Extending 'Function' is deprecated.",
  +      correction: "Try removing 'Function' from the 'extends' clause.",
  +      uniqueName: 'DEPRECATED_EXTENDS_FUNCTION');
   
     /**
      * Users should not create a class named `Function` anymore.
  
positive.code:       correction: "Try renaming the class.");
  
    /**
     * According to the specification: If a class or mixin declaration implements
     * Function, it has no effect.
     */
    static const HintCode DEPRECATED_IMPLEMENTS_FUNCTION = HintCode(
        'DEPRECATED_IMPLEMENTS_FUNCTION',
        "Implementing 'Function' has no effect.",
        correction: "Try removing 'Function' from the 'implements' clause.");
  
    /**
     * Parameters:
  
negative.code:   );
  
    /**
     * No parameters.
     */
    static const HintCode DEPRECATED_MIXIN_FUNCTION = HintCode(
        'DEPRECATED_SUBTYPE_OF_FUNCTION', "Mixing in 'Function' is deprecated.",
        correction: "Try removing 'Function' from the 'with' clause.",
        uniqueName: 'DEPRECATED_MIXIN_FUNCTION');
  
    /**
     * Hint to use the ~/ operator.
  