src/test/ui/associated-types/associated-types-eq-hr.stderr

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