src/test/ui/consts/const-eval/double_promotion.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// check-pass

#![feature(const_fn, rustc_attrs)]

#[rustc_args_required_const(0)]
pub const fn a(value: u8) -> u8 {
    value
}

#[rustc_args_required_const(0)]
pub fn b(_: u8) {
    unimplemented!()
}

fn main() {
    let _ = b(a(0));
}