tests/ui/type-alias-impl-trait/under-binder.rs

#![feature(type_alias_impl_trait)]

type Opaque<'a> = impl Sized + 'a;

#[define_opaque(Opaque)]
fn test(f: fn(u8)) -> fn(Opaque<'_>) {
    f //~ ERROR E0792
}

fn main() {}