rust/tests/ui/traits/next-solver/env-shadows-impls/param-candidate-shadows-pro...

21 lines
742 B
Plaintext

error[E0271]: type mismatch resolving `<T as Foo>::Assoc == i32`
--> $DIR/param-candidate-shadows-project.rs:27:19
|
LL | require_bar::<T>();
| ^ types differ
|
note: required for `T` to implement `Bar`
--> $DIR/param-candidate-shadows-project.rs:13:9
|
LL | impl<T> Bar for T where T: Foo<Assoc = i32> {}
| ^^^ ^ ----------- unsatisfied trait bound introduced here
note: required by a bound in `require_bar`
--> $DIR/param-candidate-shadows-project.rs:15:19
|
LL | fn require_bar<T: Bar>() {}
| ^^^ required by this bound in `require_bar`
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0271`.