1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
// Regression test for #68643 trait Fun { type F<'a>: Fn() -> u32; fn callme<'a>(f: Self::F<'a>) -> u32 { f() } } impl<T> Fun for T { type F<'a> = Self; //~^ ERROR expected a `Fn<()>` closure, found `T` } pub fn main() { <fn()>::callme(|| {}); }