anchor.diff:   * For example, the annotation is intentionally not used in the Dart platform
    * libraries, since they only depend on themselves.
    */
  -const override = const _Override();
  +const Object override = const _Override();
   
   class _Proxy {
     const _Proxy();
  
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: /**
   * Marks a feature as [Deprecated] until the next release.
   */
  const Deprecated deprecated = const Deprecated("next release");
  
  /*
   * The annotation `@override` marks an instance member as overriding a
  