1error[E0271]: type mismatch resolving `for<'x> <UintStruct as TheTrait<&'x isize>>::A == &'x isize` 2 --> $DIR/associated-types-eq-hr.rs:87:5 3 | 4LL | foo::<UintStruct>(); 5 | ^^^^^^^^^^^^^^^^^ expected `isize`, found `usize` 6 | 7 = note: expected reference `&isize` 8 found reference `&usize` 9note: required by a bound in `foo` 10 --> $DIR/associated-types-eq-hr.rs:45:36 11 | 12LL | fn foo<T>() 13 | --- required by a bound in this 14LL | where 15LL | T: for<'x> TheTrait<&'x isize, A = &'x isize>, 16 | ^^^^^^^^^^^^^ required by this bound in `foo` 17 18error[E0271]: type mismatch resolving `for<'x> <IntStruct as TheTrait<&'x isize>>::A == &'x usize` 19 --> $DIR/associated-types-eq-hr.rs:91:5 20 | 21LL | bar::<IntStruct>(); 22 | ^^^^^^^^^^^^^^^^ expected `usize`, found `isize` 23 | 24 = note: expected reference `&usize` 25 found reference `&isize` 26note: required by a bound in `bar` 27 --> $DIR/associated-types-eq-hr.rs:52:36 28 | 29LL | fn bar<T>() 30 | --- required by a bound in this 31LL | where 32LL | T: for<'x> TheTrait<&'x isize, A = &'x usize>, 33 | ^^^^^^^^^^^^^ required by this bound in `bar` 34 35error: aborting due to 2 previous errors 36 37For more information about this error, try `rustc --explain E0271`. 38