| error[E0277]: the trait bound `T: Wf` is not satisfied | |
| --> $DIR/bad-wf-when-selecting-method.rs:12:13 | |
| | | |
| LL | Wrapper(t).needs_sized(); | |
| | ------- ^ the trait `Wf` is not implemented for `T` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| note: required by a bound in `Wrapper` | |
| --> $DIR/bad-wf-when-selecting-method.rs:5:19 | |
| | | |
| LL | struct Wrapper<T: Wf<Assoc = U>, U>(T); | |
| | ^^^^^^^^^^^^^ required by this bound in `Wrapper` | |
| help: consider restricting type parameter `T` with trait `Wf` | |
| | | |
| LL | fn test<T: Wf>(t: T) { | |
| | ++++ | |
| error[E0277]: the trait bound `T: Wf` is not satisfied | |
| --> $DIR/bad-wf-when-selecting-method.rs:12:5 | |
| | | |
| LL | Wrapper(t).needs_sized(); | |
| | ^^^^^^^^^^ the trait `Wf` is not implemented for `T` | |
| | | |
| note: required by a bound in `Wrapper` | |
| --> $DIR/bad-wf-when-selecting-method.rs:5:19 | |
| | | |
| LL | struct Wrapper<T: Wf<Assoc = U>, U>(T); | |
| | ^^^^^^^^^^^^^ required by this bound in `Wrapper` | |
| help: consider restricting type parameter `T` with trait `Wf` | |
| | | |
| LL | fn test<T: Wf>(t: T) { | |
| | ++++ | |
| error[E0599]: the method `needs_sized` exists for struct `Wrapper<T, _>`, but its trait bounds were not satisfied | |
| --> $DIR/bad-wf-when-selecting-method.rs:12:16 | |
| | | |
| LL | struct Wrapper<T: Wf<Assoc = U>, U>(T); | |
| | ----------------------------------- method `needs_sized` not found for this struct | |
| ... | |
| LL | Wrapper(t).needs_sized(); | |
| | ^^^^^^^^^^^ method cannot be called on `Wrapper<T, _>` due to unsatisfied trait bounds | |
| | | |
| = note: the following trait bounds were not satisfied: | |
| `T: Wf` | |
| help: consider restricting the type parameter to satisfy the trait bound | |
| | | |
| LL | fn test<T>(t: T) where T: Wf { | |
| | +++++++++++ | |
| error: aborting due to 3 previous errors | |
| Some errors have detailed explanations: E0277, E0599. | |
| For more information about an error, try `rustc --explain E0277`. |