blob: 1f1a10f4204621042a58a64d7d49e16918171c28 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
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() {}
|