blob: 1f1a10f4204621042a58a64d7d49e16918171c28 [file] [log] [blame]
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() {}