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