Rollup merge of #82798 - jyn514:rustdoc-group, r=Manishearth,GuillaumeGomez
Rename `rustdoc` to `rustdoc::all` When rustdoc lints were changed to be tool lints, the `rustdoc` group was removed, leading to spurious warnings like ``` warning: unknown lint: `rustdoc` ``` The lint group still worked when rustdoc ran, since rustdoc added the group itself. This renames the group to `rustdoc::all` for consistency with `clippy::all` and the rest of the rustdoc lints. Follow-up to #80527. r? ``@Manishearth``
This commit is contained in:
commit
33614023a1
12 changed files with 58 additions and 33 deletions
|
@ -346,6 +346,7 @@ fn register_builtins(store: &mut LintStore, no_interleave_lints: bool) {
|
|||
"intra_doc_link_resolution_failure",
|
||||
"use `rustdoc::broken_intra_doc_links` instead",
|
||||
);
|
||||
store.register_removed("rustdoc", "use `rustdoc::all` instead");
|
||||
|
||||
store.register_removed("unknown_features", "replaced by an error");
|
||||
store.register_removed("unsigned_negation", "replaced by negate_unsigned feature gate");
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue