redeclare top-level constant

@experimental _Redeclare const redeclare

Used to annotate an instance member of an extension type that redeclares a member from a superinterface.

Tools, such as the analyzer, can provide feedback if

• the annotation is associated with anything other than a valid instance member of an extension type (a method, operator, getter, or setter) or
• is applied to a member that does not redeclare a member from either the extended type or a superinterface.

Implementation

@experimental
const _Redeclare redeclare = _Redeclare();