summaryrefslogtreecommitdiff
path: root/tests/ui/lint
diff options
context:
space:
mode:
authorUrgau <urgau@numericable.fr>2024-09-09 13:43:25 +0200
committerUrgau <urgau@numericable.fr>2024-09-09 14:51:39 +0200
commita1a8627dd789bd7444c78b7a5d360328709a54eb (patch)
treeaa6a801b0cd782cf9664cd82c58b53c50e83e332 /tests/ui/lint
parent843708a32ee8e0c75a98b2b95927b348e3089b24 (diff)
Allow `missing_docs` lint on the generated test harness
Diffstat (limited to 'tests/ui/lint')
-rw-r--r--tests/ui/lint/lint-missing-doc-test.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/ui/lint/lint-missing-doc-test.rs b/tests/ui/lint/lint-missing-doc-test.rs
new file mode 100644
index 00000000000..93d4e4a44e9
--- /dev/null
+++ b/tests/ui/lint/lint-missing-doc-test.rs
@@ -0,0 +1,5 @@
+//! This test checks that denying the missing_docs lint does not trigger
+//! on the generated test harness.
+
+//@ check-pass
+//@ compile-flags: --test -Dmissing_docs