src/test/ui/pattern/usefulness/issue-31221.rs

   1 #![allow(dead_code)]
   2 #![allow(unused_variables)]
   3 #![allow(non_snake_case)]
   4 #![deny(unreachable_patterns)]
   5
   6 #[derive(Clone, Copy)]
   7 enum Enum {
   8     Var1,
   9     Var2,
  10 }
  11
  12 fn main() {
  13     use Enum::*;
  14     let s = Var1;
  15     match s {
  16         Var1 => (),
  17         Var3 => (),
  18         Var2 => (),
  19         //~^ ERROR unreachable pattern
  20     };
  21     match &s {
  22         &Var1 => (),
  23         &Var3 => (),
  24         &Var2 => (),
  25         //~^ ERROR unreachable pattern
  26     };
  27     let t = (Var1, Var1);
  28     match t {
  29         (Var1, b) => (),
  30         (c, d) => (),
  31         anything => ()
  32         //~^ ERROR unreachable pattern
  33     };
  34 }