mirror of https://github.com/rust-lang/rust
25 lines
1.1 KiB
Plaintext
25 lines
1.1 KiB
Plaintext
error[E0277]: the trait bound `<Self as Foo>::Bar<()>: Eq<i32>` is not satisfied
|
|
--> $DIR/assume-gat-normalization-for-nested-goals.rs:10:30
|
|
|
|
|
LL | type Bar<T>: Baz<Self> = i32;
|
|
| ^^^ the trait `Eq<i32>` is not implemented for `<Self as Foo>::Bar<()>`, which is required by `i32: Baz<Self>`
|
|
|
|
|
note: required for `i32` to implement `Baz<Self>`
|
|
--> $DIR/assume-gat-normalization-for-nested-goals.rs:17:23
|
|
|
|
|
LL | impl<T: Foo + ?Sized> Baz<T> for i32 where T::Bar<()>: Eq<i32> {}
|
|
| ^^^^^^ ^^^ ------- unsatisfied trait bound introduced here
|
|
note: required by a bound in `Foo::Bar`
|
|
--> $DIR/assume-gat-normalization-for-nested-goals.rs:10:18
|
|
|
|
|
LL | type Bar<T>: Baz<Self> = i32;
|
|
| ^^^^^^^^^ required by this bound in `Foo::Bar`
|
|
help: consider further restricting the associated type
|
|
|
|
|
LL | trait Foo where <Self as Foo>::Bar<()>: Eq<i32> {
|
|
| +++++++++++++++++++++++++++++++++++++
|
|
|
|
error: aborting due to 1 previous error
|
|
|
|
For more information about this error, try `rustc --explain E0277`.
|