diff options
Diffstat (limited to 'tests/ui/lint/unknown-lints/other.rs')
| -rw-r--r-- | tests/ui/lint/unknown-lints/other.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/ui/lint/unknown-lints/other.rs b/tests/ui/lint/unknown-lints/other.rs new file mode 100644 index 000000000..a5111c00a --- /dev/null +++ b/tests/ui/lint/unknown-lints/other.rs @@ -0,0 +1,10 @@ +// ignore-test + +// Companion to allow-in-other-module.rs + +// This should not warn. +#![allow(not_a_real_lint)] + +// This should not warn, either. +#[allow(not_a_real_lint)] +fn m() {} |