trait Wf { | |
type Assoc; | |
} | |
struct Wrapper<T: Wf<Assoc = U>, U>(T); | |
trait Trait { | |
fn needs_sized(self); | |
} | |
fn test<T>(t: T) { | |
Wrapper(t).needs_sized(); | |
//~^ ERROR the trait bound `T: Wf` is not satisfied | |
//~| ERROR the trait bound `T: Wf` is not satisfied | |
//~| ERROR the method `needs_sized` exists for struct `Wrapper<T, _>`, but its trait bounds were not satisfied | |
} | |
fn main() {} |