// build-pass (FIXME(62277): could be 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)); | |
} |