1
Fork 0

Rollup merge of #134202 - nnethercote:rm-existing_doc_keyword, r=GuillaumeGomez

Remove `rustc::existing_doc_keyword` lint

The check doesn't require a lint.

r? ``@GuillaumeGomez``
This commit is contained in:
Jacob Pratt 2024-12-17 05:36:52 -05:00 committed by GitHub
commit 52b4557639
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
25 changed files with 119 additions and 176 deletions

View file

@ -1,8 +1,10 @@
error: `foo df` is not a valid identifier
error: nonexistent keyword `foo df` used in `#[doc(keyword = "...")]`
--> $DIR/invalid-keyword.rs:3:17
|
LL | #[doc(keyword = "foo df")]
| ^^^^^^^^
|
= help: only existing keywords are allowed in core/std
error: aborting due to 1 previous error