1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
// Regression test for #68642 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` } fn main() { <fn() -> usize>::callme(|| 1); }