src/test/ui/pattern/usefulness/top-level-alternation.rs

   1 #![deny(unreachable_patterns)]
   2
   3 fn main() {
   4     while let 0..=2 | 1 = 0 {} //~ ERROR unreachable pattern
   5     if let 0..=2 | 1 = 0 {} //~ ERROR unreachable pattern
   6
   7     match 0u8 {
   8         0
   9             | 0 => {} //~ ERROR unreachable pattern
  10         _ => {}
  11     }
  12     match Some(0u8) {
  13         Some(0)
  14             | Some(0) => {} //~ ERROR unreachable pattern
  15         _ => {}
  16     }
  17     match (0u8, 0u8) {
  18         (0, _) | (_, 0) => {}
  19         (0, 0) => {} //~ ERROR unreachable pattern
  20         (1, 1) => {}
  21         _ => {}
  22     }
  23     match (0u8, 0u8) {
  24         (0, 1) | (2, 3) => {}
  25         (0, 3) => {}
  26         (2, 1) => {}
  27         _ => {}
  28     }
  29     match (0u8, 0u8) {
  30         (_, 0) | (_, 1) => {}
  31         _ => {}
  32     }
  33     match (0u8, 0u8) {
  34         (0, _) | (1, _) => {}
  35         _ => {}
  36     }
  37     match Some(0u8) {
  38         None | Some(_) => {}
  39         _ => {} //~ ERROR unreachable pattern
  40     }
  41     match Some(0u8) {
  42         None | Some(_) => {}
  43         Some(_) => {} //~ ERROR unreachable pattern
  44         None => {} //~ ERROR unreachable pattern
  45     }
  46     match Some(0u8) {
  47         Some(_) => {}
  48         None => {}
  49         None | Some(_) => {} //~ ERROR unreachable pattern
  50     }
  51     match 0u8 {
  52         1 | 2 => {},
  53         1..=2 => {}, //~ ERROR unreachable pattern
  54         _ => {},
  55     }
  56 }