about summary refs log tree commit diff
path: root/tests/ui/methods/bad-wf-when-selecting-method.rs
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() {}