anchor.diff:  /**
    * Marks a feature as [Deprecated] until the next release.
    */
  -const deprecated = const Deprecated("next release");
  +const Deprecated deprecated = const Deprecated("next release");
   
   /*
    * The annotation `@override` marks an instance member as overriding a
  
positive.code:  * The intent of the `@proxy` notation is to avoid irrelevant warnings when
   * a class implements its interface through `noSuchMethod`.
   */
  const proxy = const _Proxy();
  
negative.code:  * For example, the annotation is intentionally not used in the Dart platform
   * libraries, since they only depend on themselves.
   */
  const Object override = const _Override();
  
  class _Proxy {
    const _Proxy();
  