[rustc.git] / src / test / ui / issues / issue-31221.rs

#![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
    };
}
Commit	Line	Data
32a655c1 SL	1	#![allow(dead_code)]
	2	#![allow(unused_variables)]
	3	#![allow(non_snake_case)]
	4	#![deny(unreachable_patterns)]
32a655c1 SL	5
32a655c1 SL	6	#[derive(Clone, Copy)]
a7813a04 XL	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 => (),
a7813a04 XL	18	Var2 => (),
	19	//~^ ERROR unreachable pattern
	20	};
	21	match &s {
	22	&Var1 => (),
	23	&Var3 => (),
a7813a04 XL	24	&Var2 => (),
	25	//~^ ERROR unreachable pattern
	26	};
	27	let t = (Var1, Var1);
	28	match t {
	29	(Var1, b) => (),
	30	(c, d) => (),
a7813a04 XL	31	anything => ()
	32	//~^ ERROR unreachable pattern
	33	};
a7813a04	34	}