[rustc.git] / src / test / mir-opt / remove-never-const.rs

// This was originally a regression test for #66975 - ensure that we do not generate never typed
// consts in codegen. We also have tests for this that catches the error, see
// src/test/ui/consts/const-eval/index-out-of-bounds-never-type.rs.

// Force generation of optimized mir for functions that do not reach codegen.
// compile-flags: --emit mir,link

#![feature(const_panic)]
#![feature(never_type)]
#![warn(const_err)]

struct PrintName<T>(T);

impl<T> PrintName<T> {
    const VOID: ! = panic!();
}

// EMIT_MIR remove_never_const.no_codegen.PreCodegen.after.mir
fn no_codegen<T>() {
    let _ = PrintName::<T>::VOID;
}

fn main() {}
Commit	Line	Data
f9f354fc XL	1	// This was originally a regression test for #66975 - ensure that we do not generate never typed
	2	// consts in codegen. We also have tests for this that catches the error, see
	3	// src/test/ui/consts/const-eval/index-out-of-bounds-never-type.rs.
60c5eb7d XL	4
	5	// Force generation of optimized mir for functions that do not reach codegen.
	6	// compile-flags: --emit mir,link
	7
	8	#![feature(const_panic)]
	9	#![feature(never_type)]
dfeec247	10	#![warn(const_err)]
60c5eb7d XL	11
	12	struct PrintName<T>(T);
	13
	14	impl<T> PrintName<T> {
	15	const VOID: ! = panic!();
	16	}
	17
3dfed10e	18	// EMIT_MIR remove_never_const.no_codegen.PreCodegen.after.mir
60c5eb7d XL	19	fn no_codegen<T>() {
	20	let _ = PrintName::<T>::VOID;
	21	}
	22
	23	fn main() {}