checked top-level constant Null safety

_Checked const checked
Deprecated('Use the `covariant` modifier instead')">@Deprecated('Use the `covariant` modifier instead')

Used to annotate a parameter of an instance method that overrides another method.

Indicates that this parameter may have a tighter type than the parameter on its superclass. The actual argument will be checked at runtime to ensure it is a subtype of the overridden parameter type.

Implementation

@Deprecated('Use the `covariant` modifier instead')
const _Checked checked = _Checked();