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:82:5
   3    |
   4 LL | fn foo<T>()
   5    |    --- required by a bound in this
   6 LL |     where T : for<'x> TheTrait<&'x isize, A = &'x isize>
   7    |                                           ------------- required by this bound in `foo`
   8 ...
   9 LL |     foo::<UintStruct>();
  10    |     ^^^^^^^^^^^^^^^^^ expected `isize`, found `usize`
  11    |
  12    = note: expected reference `&isize`
  13               found reference `&usize`
  14
  15 error[E0271]: type mismatch resolving `for<'x> <IntStruct as TheTrait<&'x isize>>::A == &'x usize`
  16   --> $DIR/associated-types-eq-hr.rs:86:5
  17    |
  18 LL | fn bar<T>()
  19    |    --- required by a bound in this
  20 LL |     where T : for<'x> TheTrait<&'x isize, A = &'x usize>
  21    |                                           ------------- required by this bound in `bar`
  22 ...
  23 LL |     bar::<IntStruct>();
  24    |     ^^^^^^^^^^^^^^^^ expected `usize`, found `isize`
  25    |
  26    = note: expected reference `&usize`
  27               found reference `&isize`
  28
  29 error[E0277]: the trait bound `for<'x, 'y> Tuple: TheTrait<(&'x isize, &'y isize)>` is not satisfied
  30   --> $DIR/associated-types-eq-hr.rs:91:17
  31    |
  32 LL | fn tuple_one<T>()
  33    |    --------- required by a bound in this
  34 LL |     where T : for<'x,'y> TheTrait<(&'x isize, &'y isize), A = &'x isize>
  35    |               ---------------------------------------------------------- required by this bound in `tuple_one`
  36 ...
  37 LL |     tuple_one::<Tuple>();
  38    |                 ^^^^^ the trait `for<'x, 'y> TheTrait<(&'x isize, &'y isize)>` is not implemented for `Tuple`
  39    |
  40    = help: the following implementations were found:
  41              <Tuple as TheTrait<(&'a isize, &'a isize)>>
  42
  43 error[E0271]: type mismatch resolving `for<'x, 'y> <Tuple as TheTrait<(&'x isize, &'y isize)>>::A == &'x isize`
  44   --> $DIR/associated-types-eq-hr.rs:91:5
  45    |
  46 LL | fn tuple_one<T>()
  47    |    --------- required by a bound in this
  48 LL |     where T : for<'x,'y> TheTrait<(&'x isize, &'y isize), A = &'x isize>
  49    |                                                           ------------- required by this bound in `tuple_one`
  50 ...
  51 LL |     tuple_one::<Tuple>();
  52    |     ^^^^^^^^^^^^^^^^^^ expected bound lifetime parameter 'y, found concrete lifetime
  53
  54 error[E0277]: the trait bound `for<'x, 'y> Tuple: TheTrait<(&'x isize, &'y isize)>` is not satisfied
  55   --> $DIR/associated-types-eq-hr.rs:97:17
  56    |
  57 LL | fn tuple_two<T>()
  58    |    --------- required by a bound in this
  59 LL |     where T : for<'x,'y> TheTrait<(&'x isize, &'y isize), A = &'y isize>
  60    |               ---------------------------------------------------------- required by this bound in `tuple_two`
  61 ...
  62 LL |     tuple_two::<Tuple>();
  63    |                 ^^^^^ the trait `for<'x, 'y> TheTrait<(&'x isize, &'y isize)>` is not implemented for `Tuple`
  64    |
  65    = help: the following implementations were found:
  66              <Tuple as TheTrait<(&'a isize, &'a isize)>>
  67
  68 error[E0271]: type mismatch resolving `for<'x, 'y> <Tuple as TheTrait<(&'x isize, &'y isize)>>::A == &'y isize`
  69   --> $DIR/associated-types-eq-hr.rs:97:5
  70    |
  71 LL | fn tuple_two<T>()
  72    |    --------- required by a bound in this
  73 LL |     where T : for<'x,'y> TheTrait<(&'x isize, &'y isize), A = &'y isize>
  74    |                                                           ------------- required by this bound in `tuple_two`
  75 ...
  76 LL |     tuple_two::<Tuple>();
  77    |     ^^^^^^^^^^^^^^^^^^ expected bound lifetime parameter 'y, found concrete lifetime
  78
  79 error[E0277]: the trait bound `for<'x, 'y> Tuple: TheTrait<(&'x isize, &'y isize)>` is not satisfied
  80   --> $DIR/associated-types-eq-hr.rs:107:18
  81    |
  82 LL | fn tuple_four<T>()
  83    |    ---------- required by a bound in this
  84 LL |     where T : for<'x,'y> TheTrait<(&'x isize, &'y isize)>
  85    |               ------------------------------------------- required by this bound in `tuple_four`
  86 ...
  87 LL |     tuple_four::<Tuple>();
  88    |                  ^^^^^ the trait `for<'x, 'y> TheTrait<(&'x isize, &'y isize)>` is not implemented for `Tuple`
  89    |
  90    = help: the following implementations were found:
  91              <Tuple as TheTrait<(&'a isize, &'a isize)>>
  92
  93 error: aborting due to 7 previous errors
  94
  95 Some errors have detailed explanations: E0271, E0277.
  96 For more information about an error, try `rustc --explain E0271`.