[rustc.git] / src / test / ui / consts / const-eval / issue-70804-fn-subtyping.rs

// check-pass
#![feature(const_fn_fn_ptr_basics)]

const fn nested(x: (for<'a> fn(&'a ()), String)) -> (fn(&'static ()), String) {
    x
}

pub const TEST: (fn(&'static ()), String) = nested((|_x| (), String::new()));

fn main() {}
Commit	Line	Data
ba9703b0	1	// check-pass
1b1a35ee	2	#![feature(const_fn_fn_ptr_basics)]
ba9703b0 XL	3
	4	const fn nested(x: (for<'a> fn(&'a ()), String)) -> (fn(&'static ()), String) {
	5	x
	6	}
	7
	8	pub const TEST: (fn(&'static ()), String) = nested((\|_x\| (), String::new()));
	9
	10	fn main() {}