diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-12-03 14:05:58 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-12-03 14:05:58 +0100 |
| commit | 0105e4a54b2ccbfbd62b0d07f636520b39094f5e (patch) | |
| tree | 4b8abf96802c107835c5b93f5c02865639520a7d | |
| parent | 56c64f871ec25468c55345645713032b615326b1 (diff) | |
| download | rust-0105e4a54b2ccbfbd62b0d07f636520b39094f5e.tar.gz rust-0105e4a54b2ccbfbd62b0d07f636520b39094f5e.zip | |
Add test for EXISTING_DOC_KEYWORD internal lint
| -rw-r--r-- | src/test/ui-fulldeps/internal-lints/existing_doc_keyword.rs | 9 | ||||
| -rw-r--r-- | src/test/ui-fulldeps/internal-lints/existing_doc_keyword.stderr | 11 |
2 files changed, 20 insertions, 0 deletions
diff --git a/src/test/ui-fulldeps/internal-lints/existing_doc_keyword.rs b/src/test/ui-fulldeps/internal-lints/existing_doc_keyword.rs new file mode 100644 index 00000000000..2b4a65b4a4c --- /dev/null +++ b/src/test/ui-fulldeps/internal-lints/existing_doc_keyword.rs @@ -0,0 +1,9 @@ +// compile-flags: -Z unstable-options + +#![feature(rustc_private)] +#![feature(doc_keyword)] + +#![crate_type = "lib"] + +#[doc(keyword = "tadam")] //~ ERROR +mod tadam {} diff --git a/src/test/ui-fulldeps/internal-lints/existing_doc_keyword.stderr b/src/test/ui-fulldeps/internal-lints/existing_doc_keyword.stderr new file mode 100644 index 00000000000..6fc288ae434 --- /dev/null +++ b/src/test/ui-fulldeps/internal-lints/existing_doc_keyword.stderr @@ -0,0 +1,11 @@ +error: Found non-existing keyword `tadam` used in `#[doc(keyword = "...")]` + --> $DIR/existing_doc_keyword.rs:8:1 + | +LL | #[doc(keyword = "tadam")] + | ^^^^^^^^^^^^^^^^^^^^^^^^^ + | + = note: `#[deny(rustc::existing_doc_keyword)]` on by default + = help: only existing keywords are allowed in core/std + +error: aborting due to previous error + |