| Index: pkg/meta/lib/meta.dart
|
| diff --git a/pkg/meta/lib/meta.dart b/pkg/meta/lib/meta.dart
|
| index a9424f9536c996b1dc40ec1d261ea211d70f1ca3..633a4d362fb50fe80e1fd26023b6ad05b5db415b 100644
|
| --- a/pkg/meta/lib/meta.dart
|
| +++ b/pkg/meta/lib/meta.dart
|
| @@ -128,6 +128,19 @@ class Required {
|
| const Required([this.reason]);
|
| }
|
|
|
| +
|
| +/// 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.
|
| +const _Checked checked = const _Checked();
|
| +
|
| +class _Checked {
|
| + const _Checked();
|
| +}
|
| +
|
| class _Factory {
|
| const _Factory();
|
| }
|
|
|