// Regression test for #68644 | |
#![feature(generic_associated_types)] | |
//~^ WARNING the feature `generic_associated_types` is incomplete and may not | |
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 `std::ops::Fn<()>` closure, found `T` | |
} | |
fn main() { | |
<u8>::callme(0); | |
} |