[rustc.git] / src / test / ui / pattern / usefulness / slice-pattern-const-3.rs

#![deny(unreachable_patterns)]

fn main() {
    let s = &["0x00"; 4][..]; //Slice of any value
    const MAGIC_TEST: &[&str] = &["4", "5", "6", "7"]; //Const slice to pattern match with
    match s {
        MAGIC_TEST => (),
        ["0x00", "0x00", "0x00", "0x00"] => (),
        ["4", "5", "6", "7"] => (), //~ ERROR unreachable pattern
        _ => (),
    }
    match s {
        ["0x00", "0x00", "0x00", "0x00"] => (),
        MAGIC_TEST => (),
        ["4", "5", "6", "7"] => (), //~ ERROR unreachable pattern
        _ => (),
    }
    match s {
        ["0x00", "0x00", "0x00", "0x00"] => (),
        ["4", "5", "6", "7"] => (),
        MAGIC_TEST => (), //~ ERROR unreachable pattern
        _ => (),
    }
    const FOO: [&str; 1] = ["boo"];
    match ["baa"] {
        ["0x00"] => (),
        ["boo"] => (),
        FOO => (), //~ ERROR unreachable pattern
        _ => (),
    }
}
Commit	Line	Data
0731742a XL	1	#![deny(unreachable_patterns)]
	2
	3	fn main() {
	4	let s = &["0x00"; 4][..]; //Slice of any value
	5	const MAGIC_TEST: &[&str] = &["4", "5", "6", "7"]; //Const slice to pattern match with
	6	match s {
	7	MAGIC_TEST => (),
	8	["0x00", "0x00", "0x00", "0x00"] => (),
1b1a35ee	9	["4", "5", "6", "7"] => (), //~ ERROR unreachable pattern
0731742a XL	10	_ => (),
	11	}
	12	match s {
	13	["0x00", "0x00", "0x00", "0x00"] => (),
	14	MAGIC_TEST => (),
1b1a35ee	15	["4", "5", "6", "7"] => (), //~ ERROR unreachable pattern
0731742a XL	16	_ => (),
	17	}
	18	match s {
	19	["0x00", "0x00", "0x00", "0x00"] => (),
	20	["4", "5", "6", "7"] => (),
1b1a35ee	21	MAGIC_TEST => (), //~ ERROR unreachable pattern
0731742a XL	22	_ => (),
	23	}
	24	const FOO: [&str; 1] = ["boo"];
	25	match ["baa"] {
	26	["0x00"] => (),
	27	["boo"] => (),
	28	FOO => (), //~ ERROR unreachable pattern
	29	_ => (),
	30	}
	31	}