summaryrefslogtreecommitdiffstats
path: root/tests/ui/intrinsics/const-eval-select.rs
blob: 9ff20d3fbdd9e14a56348244002f55af61e291b1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
// run-pass

#![feature(const_eval_select)]
#![feature(core_intrinsics)]

use std::intrinsics::const_eval_select;

const fn yes() -> bool {
    true
}

fn no() -> bool {
    false
}

// not a sound use case; testing only
const fn is_const_eval() -> bool {
    unsafe { const_eval_select((), yes, no) }
}

fn main() {
    const YES: bool = is_const_eval();
    let no = is_const_eval();

    assert_eq!(true, YES);
    assert_eq!(false, no);
}