#![allow(dead_code)] | |
#![allow(unused_variables)] | |
#![allow(non_snake_case)] | |
#![deny(unreachable_patterns)] | |
#[derive(Clone, Copy)] | |
enum Enum { | |
Var1, | |
Var2, | |
} | |
fn main() { | |
use Enum::*; | |
let s = Var1; | |
match s { | |
Var1 => (), | |
Var3 => (), | |
Var2 => (), | |
//~^ ERROR unreachable pattern | |
}; | |
match &s { | |
&Var1 => (), | |
&Var3 => (), | |
&Var2 => (), | |
//~^ ERROR unreachable pattern | |
}; | |
let t = (Var1, Var1); | |
match t { | |
(Var1, b) => (), | |
(c, d) => (), | |
anything => () | |
//~^ ERROR unreachable pattern | |
}; | |
} |