src/test/ui/associated-types/impl-wf-cycle-1.stderr

   1 error[E0275]: overflow evaluating the requirement `<(T,) as Grault>::A == _`
   2   --> $DIR/impl-wf-cycle-1.rs:15:1
   3    |
   4 LL | / impl<T: Grault> Grault for (T,)
   5 LL | | where
   6 LL | |     Self::A: Baz,
   7 LL | |     Self::B: Fiz,
   8 ...  |
   9 LL | |
  10 LL | | }
  11    | |_^
  12    |
  13 note: required because of the requirements on the impl of `Grault` for `(T,)`
  14   --> $DIR/impl-wf-cycle-1.rs:15:17
  15    |
  16 LL | impl<T: Grault> Grault for (T,)
  17    |                 ^^^^^^     ^^^^
  18    = note: 1 redundant requirements hidden
  19    = note: required because of the requirements on the impl of `Grault` for `(T,)`
  20
  21 error[E0275]: overflow evaluating the requirement `<(T,) as Grault>::A == _`
  22   --> $DIR/impl-wf-cycle-1.rs:20:5
  23    |
  24 LL |     type A = ();
  25    |     ^^^^^^^^^^^^
  26    |
  27 note: required because of the requirements on the impl of `Grault` for `(T,)`
  28   --> $DIR/impl-wf-cycle-1.rs:15:17
  29    |
  30 LL | impl<T: Grault> Grault for (T,)
  31    |                 ^^^^^^     ^^^^
  32    = note: 1 redundant requirements hidden
  33    = note: required because of the requirements on the impl of `Grault` for `(T,)`
  34
  35 error[E0275]: overflow evaluating the requirement `<(T,) as Grault>::A == _`
  36   --> $DIR/impl-wf-cycle-1.rs:22:5
  37    |
  38 LL |     type B = bool;
  39    |     ^^^^^^^^^^^^^^
  40    |
  41 note: required because of the requirements on the impl of `Grault` for `(T,)`
  42   --> $DIR/impl-wf-cycle-1.rs:15:17
  43    |
  44 LL | impl<T: Grault> Grault for (T,)
  45    |                 ^^^^^^     ^^^^
  46    = note: 1 redundant requirements hidden
  47    = note: required because of the requirements on the impl of `Grault` for `(T,)`
  48
  49 error: aborting due to 3 previous errors
  50
  51 For more information about this error, try `rustc --explain E0275`.