1 #![feature(exclusive_range_pattern)]
2 #![deny(unreachable_patterns)]
4 enum Q { R(Option<usize>) }
8 Q::R(S) if S.is_some() => {}
12 match 0u8 { //~ ERROR non-exhaustive patterns
14 128 ..= 255 if true => {}
19 128 ..= 255 if false => {}
20 128 ..= 255 => {} // ok, because previous arm was guarded