[rustc.git] / src / test / ui / consts / const-eval / double_promotion.rs

// 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));
}
Commit	Line	Data
ba9703b0	1	// check-pass
a1dfa0c6 XL	2
	3	#![feature(const_fn, rustc_attrs)]
	4
	5	#[rustc_args_required_const(0)]
	6	pub const fn a(value: u8) -> u8 {
	7	value
	8	}
	9
	10	#[rustc_args_required_const(0)]
	11	pub fn b(_: u8) {
	12	unimplemented!()
	13	}
	14
	15	fn main() {
	16	let _ = b(a(0));
	17	}