summaryrefslogtreecommitdiffstats
path: root/tests/ui/consts/const_unsafe_unreachable_ub.rs
blob: b418fea617ceaec29dd407105371ffa2233a4a4b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// error-pattern: evaluation of constant value failed

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

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

fn main() {
    assert_eq!(BAR, true);
}