1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/lint/not_found.rs b/src/test/ui/lint/not_found.rs
new file mode 100644
index 000000000..de120b6e0
--- /dev/null
+++ b/src/test/ui/lint/not_found.rs
@@ -0,0 +1,21 @@
+// check-pass
+
+// this tests the `unknown_lint` lint, especially the suggestions
+
+// the suggestion only appears if a lint with the lowercase name exists
+#[allow(FOO_BAR)]
+//~^ WARNING unknown lint
+
+// the suggestion appears on all-uppercase names
+#[warn(DEAD_CODE)]
+//~^ WARNING unknown lint
+//~| HELP did you mean
+
+// the suggestion appears also on mixed-case names
+#[deny(Warnings)]
+//~^ WARNING unknown lint
+//~| HELP did you mean
+
+fn main() {
+    unimplemented!();
+}