32 lines
1018 B
Plaintext
32 lines
1018 B
Plaintext
error[E0277]: the trait bound `Self: Tr<U>` is not satisfied
|
|
--> $DIR/type-params-in-different-spaces-2.rs:10:9
|
|
|
|
|
LL | fn op(_: T) -> Self;
|
|
| -------------------- required by `Tr::op`
|
|
...
|
|
LL | Tr::op(u)
|
|
| ^^^^^^ the trait `Tr<U>` is not implemented for `Self`
|
|
|
|
|
help: consider further restricting `Self`
|
|
|
|
|
LL | fn test<U>(u: U) -> Self where Self: Tr<U> {
|
|
| ^^^^^^^^^^^^^^^^^
|
|
|
|
error[E0277]: the trait bound `Self: Tr<U>` is not satisfied
|
|
--> $DIR/type-params-in-different-spaces-2.rs:16:9
|
|
|
|
|
LL | fn op(_: T) -> Self;
|
|
| -------------------- required by `Tr::op`
|
|
...
|
|
LL | Tr::op(u)
|
|
| ^^^^^^ the trait `Tr<U>` is not implemented for `Self`
|
|
|
|
|
help: consider further restricting `Self`
|
|
|
|
|
LL | fn test<U>(u: U) -> Self where Self: Tr<U> {
|
|
| ^^^^^^^^^^^^^^^^^
|
|
|
|
error: aborting due to 2 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0277`.
|