[rustc.git] / src / test / ui / consts / const-pattern-irrefutable.rs

mod foo {
    pub const b: u8 = 2;
    pub const d: u8 = 2;
}

use foo::b as c;
use foo::d;

const a: u8 = 2;

fn main() {
    let a = 4; //~ ERROR refutable pattern in local binding: `0_u8..=1_u8` and `3_u8..=u8::MAX
    let c = 4; //~ ERROR refutable pattern in local binding: `0_u8..=1_u8` and `3_u8..=u8::MAX
    let d = 4; //~ ERROR refutable pattern in local binding: `0_u8..=1_u8` and `3_u8..=u8::MAX
    fn f() {} // Check that the `NOTE`s still work with an item here (cf. issue #35115).
}
Commit	Line	Data
92a42be0	1	mod foo {
a7813a04 XL	2	pub const b: u8 = 2;
a7813a04 XL	3	pub const d: u8 = 2;
92a42be0 SL	4	}
92a42be0 SL	5
abe05a73 XL	6	use foo::b as c;
abe05a73 XL	7	use foo::d;
92a42be0	8
abe05a73	9	const a: u8 = 2;
92a42be0 SL	10
92a42be0 SL	11	fn main() {
f035d41b XL	12	let a = 4; //~ ERROR refutable pattern in local binding: `0_u8..=1_u8` and `3_u8..=u8::MAX
	13	let c = 4; //~ ERROR refutable pattern in local binding: `0_u8..=1_u8` and `3_u8..=u8::MAX
	14	let d = 4; //~ ERROR refutable pattern in local binding: `0_u8..=1_u8` and `3_u8..=u8::MAX
0731742a	15	fn f() {} // Check that the `NOTE`s still work with an item here (cf. issue #35115).
92a42be0	16	}