5 impl<'a> Trait<'a> for () {
9 pub fn foo<T, F>(_: T, _: F)
12 F: for<'a> FnMut(<T as Trait<'a>>::Item),
18 //~^ ERROR type mismatch in function arguments
19 //~| ERROR size for values of type `<() as Trait<'_>>::Item` cannot be known at compilation time