about summary refs log tree commit diff
path: root/tests/ui/lint/issue-30302.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/lint/issue-30302.rs')
-rw-r--r--tests/ui/lint/issue-30302.rs20
1 files changed, 20 insertions, 0 deletions
diff --git a/tests/ui/lint/issue-30302.rs b/tests/ui/lint/issue-30302.rs
new file mode 100644
index 00000000000..c37d4f29d10
--- /dev/null
+++ b/tests/ui/lint/issue-30302.rs
@@ -0,0 +1,20 @@
+#![allow(dead_code)]
+#![allow(unused_variables)]
+#![allow(non_snake_case)]
+#![deny(unreachable_patterns)]
+
+enum Stack<T> {
+    Nil,
+    Cons(T, Box<Stack<T>>)
+}
+
+fn is_empty<T>(s: Stack<T>) -> bool {
+    match s {
+        Nil => true,
+//~^ WARN pattern binding `Nil` is named the same as one of the variants of the type `Stack`
+        _ => false
+//~^ ERROR unreachable pattern
+    }
+}
+
+fn main() {}