[rustc.git] / src / test / ui / consts / const_unsafe_unreachable.rs

// run-pass

#![feature(const_unreachable_unchecked)]

const unsafe fn foo(x: bool) -> bool {
    match x {
        true => true,
        false => std::hint::unreachable_unchecked(),
    }
}

const BAR: bool = unsafe { foo(true) };

fn main() {
  assert_eq!(BAR, true);
}
Commit	Line	Data
3dfed10e XL	1	// run-pass
3dfed10e XL	2
3dfed10e XL	3	#![feature(const_unreachable_unchecked)]
	4
	5	const unsafe fn foo(x: bool) -> bool {
	6	match x {
	7	true => true,
	8	false => std::hint::unreachable_unchecked(),
	9	}
	10	}
	11
	12	const BAR: bool = unsafe { foo(true) };
	13
	14	fn main() {
	15	assert_eq!(BAR, true);
	16	}