[rustc.git] / src / test / ui / consts / const-eval / validate_uninhabited_zsts.rs

// stderr-per-bitwidth

const fn foo() -> ! {
    unsafe { std::mem::transmute(()) }
    //~^ ERROR evaluation of constant value failed
    //~| WARN the type `!` does not permit zero-initialization [invalid_value]
}

#[derive(Clone, Copy)]
enum Empty { }

#[warn(const_err)]
const FOO: [Empty; 3] = [foo(); 3];

#[warn(const_err)]
const BAR: [Empty; 3] = [unsafe { std::mem::transmute(()) }; 3];
//~^ ERROR it is undefined behavior to use this value
//~| WARN the type `Empty` does not permit zero-initialization

fn main() {
    FOO;
    BAR;
}
Commit	Line	Data
cdc7bbd5	1	// stderr-per-bitwidth
60c5eb7d XL	2
	3	const fn foo() -> ! {
	4	unsafe { std::mem::transmute(()) }
136023e0	5	//~^ ERROR evaluation of constant value failed
60c5eb7d XL	6	//~\| WARN the type `!` does not permit zero-initialization [invalid_value]
	7	}
	8
	9	#[derive(Clone, Copy)]
	10	enum Empty { }
	11
	12	#[warn(const_err)]
	13	const FOO: [Empty; 3] = [foo(); 3];
dfeec247	14
60c5eb7d XL	15	#[warn(const_err)]
	16	const BAR: [Empty; 3] = [unsafe { std::mem::transmute(()) }; 3];
	17	//~^ ERROR it is undefined behavior to use this value
	18	//~\| WARN the type `Empty` does not permit zero-initialization
	19
	20	fn main() {
	21	FOO;
	22	BAR;
	23	}