diff options
Diffstat (limited to 'tests/ui/lint/issue-30302.rs')
-rw-r--r-- | tests/ui/lint/issue-30302.rs | 20 |
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() {} |