src/test/ui/pattern/usefulness/guards.rs

   1 #![feature(exclusive_range_pattern)]
   2 #![deny(unreachable_patterns)]
   3
   4 enum Q { R(Option<usize>) }
   5
   6 pub fn main() {
   7     match Q::R(None) {
   8         Q::R(S) if S.is_some() => {}
   9         _ => {}
  10     }
  11
  12     match 0u8 { //~ ERROR non-exhaustive patterns
  13         0 .. 128 => {}
  14         128 ..= 255 if true => {}
  15     }
  16
  17     match 0u8 {
  18         0 .. 128 => {}
  19         128 ..= 255 if false => {}
  20         128 ..= 255 => {} // ok, because previous arm was guarded
  21     }
  22 }