src/test/ui/pattern/usefulness/slice-patterns-reachability.rs

   1 #![deny(unreachable_patterns)]
   2
   3 fn main() {
   4     let s: &[bool] = &[];
   5
   6     match s {
   7         [true, ..] => {}
   8         [true, ..] => {} //~ ERROR unreachable pattern
   9         [true] => {} //~ ERROR unreachable pattern
  10         [..] => {}
  11     }
  12     match s {
  13         [.., true] => {}
  14         [.., true] => {} //~ ERROR unreachable pattern
  15         [true] => {} //~ ERROR unreachable pattern
  16         [..] => {}
  17     }
  18     match s {
  19         [false, .., true] => {}
  20         [false, .., true] => {} //~ ERROR unreachable pattern
  21         [false, true] => {} //~ ERROR unreachable pattern
  22         [false] => {}
  23         [..] => {}
  24     }
  25 }