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