20 lines
387 B
Rust
20 lines
387 B
Rust
pub trait Trait<'a> {
|
|
type Item;
|
|
}
|
|
|
|
impl<'a> Trait<'a> for () {
|
|
type Item = ();
|
|
}
|
|
|
|
pub fn foo<T, F>(_: T, _: F)
|
|
where
|
|
T: for<'a> Trait<'a>,
|
|
F: for<'a> FnMut(<T as Trait<'a>>::Item),
|
|
{
|
|
}
|
|
|
|
fn main() {
|
|
foo((), drop)
|
|
//~^ ERROR type mismatch in function arguments
|
|
//~| ERROR size for values of type `<() as Trait<'_>>::Item` cannot be known at compilation time
|
|
}
|