blob: 2f52b48746f23d5695385d42c4efa49937dfb709 [file] [log] [blame]
//@ run-pass
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);
}