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    = note: 1 redundant requirements hidden
  15    = note: required because of the requirements on the impl of `Grault` for `(T,)`
  16
  17 error[E0275]: overflow evaluating the requirement `<(T,) as Grault>::A == _`
  18   --> $DIR/impl-wf-cycle-1.rs:20:5
  19    |
  20 LL |     type A = ();
  21    |     ^^^^^^^^^^^^
  22    |
  23    = note: required because of the requirements on the impl of `Grault` for `(T,)`
  24    = note: 1 redundant requirements hidden
  25    = note: required because of the requirements on the impl of `Grault` for `(T,)`
  26
  27 error[E0275]: overflow evaluating the requirement `<(T,) as Grault>::A == _`
  28   --> $DIR/impl-wf-cycle-1.rs:22:5
  29    |
  30 LL |     type B = bool;
  31    |     ^^^^^^^^^^^^^^
  32    |
  33    = note: required because of the requirements on the impl of `Grault` for `(T,)`
  34    = note: 1 redundant requirements hidden
  35    = note: required because of the requirements on the impl of `Grault` for `(T,)`
  36
  37 error: aborting due to 3 previous errors
  38
  39 For more information about this error, try `rustc --explain E0275`.