Expand description
A pass that annotates every item and method with its stability level, propagating default levels lexically from parent to children ast nodes.
Structs§
- Annotator πA private tree-walker for producing an
Index
. - Check
Trait πImpl Stable - Checker π
Enums§
- Annotation
Kind π - Whether to inherit const stability flags for nested items. In most cases, we do not want to inherit const stability: just because an enclosing
fn
is const-stable does not mean allextern
imports declared in it should be const-stable! However, trait methods inherit const stability attributes from their parent and do not have their own. - Inherit
Deprecation πWhether to inherit deprecation flags for nested items. In most cases, we do want to inherit deprecation, because nested items rarely have individual deprecation attributes, and so should be treated as deprecated if their parent is. However, default generic parameters have separate deprecation attributes from their parents, so we do not wish to inherit deprecation in this case. For example, inheriting deprecation forT
inFoo<T>
would cause a duplicate warning arising from bothFoo
andT
being deprecated. - Inherit
Stability π
Functions§
- Cross-references the feature names of unstable APIs with enabled features and possibly prints errors.
- Given the list of enabled features that were not language features (i.e., that were expected to be library features), and the list of features used from libraries, identify activated features that donβt exist and error about them.
- is_
unstable_ πreexport Check whether a path is ause
item that has been marked as unstable. - provide π
- stability_
index π