@@ -188,15 +188,17 @@ const _Protected protected = const _Protected();
188
188
/// corresponding to a named parameter that has this annotation.
189
189
const Required required = const Required ();
190
190
191
- /// Annotation marking a class as unusable as a super-type, outside of the
192
- /// package in which the class is declared.
191
+ /// Annotation marking a class or mixin as not allowed as a super-type.
193
192
///
194
- /// Given a class _C_, which is annotated with this, and a class _D_, which
195
- /// extends, implements, or mixes in _C_, then tools, such as the analyzer, may
196
- /// emit warnings if:
193
+ /// Classes in the same package as the marked class or mixin may extend,
194
+ /// implement or mix-in the annotated class or mixin.
197
195
///
198
- /// * _C_ and _D_ are declared in different packages, or
199
- /// * _C_ and _D_ are declared in the same package, and _D_ is not also
196
+ /// Given a class or mixin `c` , which is annotated with this, and a class or
197
+ /// mixin `d` , which extends, implements, or mixes in `c` , then tools, such as
198
+ /// the analyzer, may emit warnings if:
199
+ ///
200
+ /// * `c` and `d` are declared in different packages, or
201
+ /// * `c` and `d` are declared in the same package, and `d` is not also
200
202
/// annotated with this.
201
203
const _Sealed sealed = const _Sealed ();
202
204
0 commit comments