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