1 #![feature(impl_trait_in_fn_trait_return)]
4 fn a() -> impl Fn(&u8) -> (impl Debug + '_) {
5 //~^ ERROR higher kinded lifetime bounds on nested opaque types are not supported yet
7 //~^ ERROR lifetime may not live long enough
10 fn b() -> impl for<'a> Fn(&'a u8) -> (impl Debug + 'a) {
11 //~^ ERROR higher kinded lifetime bounds on nested opaque types are not supported yet
13 //~^ ERROR lifetime may not live long enough
16 fn c() -> impl for<'a> Fn(&'a u8) -> (impl Debug + '_) {
17 //~^ ERROR higher kinded lifetime bounds on nested opaque types are not supported yet
19 //~^ ERROR lifetime may not live long enough
22 fn d() -> impl Fn() -> (impl Debug + '_) {
23 //~^ ERROR missing lifetime specifier