summaryrefslogtreecommitdiffstats
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 000000000..5eccb8cd5
--- /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,
+//~^ ERROR pattern binding `Nil` is named the same as one of the variants of the type `Stack`
+ _ => false
+//~^ ERROR unreachable pattern
+ }
+}
+
+fn main() {}