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 {} //~ WARN irrefutable if-let pattern
   6     // this one ^ is incorrect
   7
   8     match 0u8 {
   9         0
  10             | 0 => {} //~ ERROR unreachable pattern
  11         _ => {}
  12     }
  13     match Some(0u8) {
  14         Some(0)
  15             | Some(0) => {} //~ ERROR unreachable pattern
  16         _ => {}
  17     }
  18     match (0u8, 0u8) {
  19         (0, _) | (_, 0) => {}
  20         (0, 0) => {} //~ ERROR unreachable pattern
  21         (1, 1) => {}
  22         _ => {}
  23     }
  24     match (0u8, 0u8) {
  25         (0, 1) | (2, 3) => {}
  26         (0, 3) => {}
  27         (2, 1) => {}
  28         _ => {}
  29     }
  30     match (0u8, 0u8) {
  31         (_, 0) | (_, 1) => {}
  32         _ => {}
  33     }
  34     match (0u8, 0u8) {
  35         (0, _) | (1, _) => {}
  36         _ => {}
  37     }
  38     match Some(0u8) {
  39         None | Some(_) => {}
  40         _ => {} //~ ERROR unreachable pattern
  41     }
  42     match Some(0u8) {
  43         None | Some(_) => {}
  44         Some(_) => {} //~ ERROR unreachable pattern
  45         None => {} //~ ERROR unreachable pattern
  46     }
  47     match Some(0u8) {
  48         Some(_) => {}
  49         None => {}
  50         None //~ ERROR unreachable pattern
  51             | Some(_) => {} //~ ERROR unreachable pattern
  52     }
  53     match 0u8 {
  54         1 | 2 => {},
  55         1..=2 => {}, //~ ERROR unreachable pattern
  56         _ => {},
  57     }
  58 }