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

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