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

   1 // check-pass
   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 }