mirror of https://github.com/rust-lang/rust.git
55 lines
1.9 KiB
Plaintext
55 lines
1.9 KiB
Plaintext
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`.
|