1 error[E0271]: type mismatch resolving `for<'x> <UintStruct as TheTrait<&'x isize>>::A == &'x isize`
2 --> $DIR/associated-types-eq-hr.rs:87:5
5 | --- required by a bound in this
7 LL | T: for<'x> TheTrait<&'x isize, A = &'x isize>,
8 | ------------- required by this bound in `foo`
10 LL | foo::<UintStruct>();
11 | ^^^^^^^^^^^^^^^^^ expected `isize`, found `usize`
13 = note: expected reference `&isize`
14 found reference `&usize`
16 error[E0271]: type mismatch resolving `for<'x> <IntStruct as TheTrait<&'x isize>>::A == &'x usize`
17 --> $DIR/associated-types-eq-hr.rs:91:5
20 | --- required by a bound in this
22 LL | T: for<'x> TheTrait<&'x isize, A = &'x usize>,
23 | ------------- required by this bound in `bar`
25 LL | bar::<IntStruct>();
26 | ^^^^^^^^^^^^^^^^ expected `usize`, found `isize`
28 = note: expected reference `&usize`
29 found reference `&isize`
31 error: aborting due to 2 previous errors
33 For more information about this error, try `rustc --explain E0271`.