LL | | }
| |_^
|
- = note: required because of the requirements on the impl of `Grault` for `(T,)`
+note: required because of the requirements on the impl of `Grault` for `(T,)`
+ --> $DIR/impl-wf-cycle-1.rs:15:17
+ |
+LL | impl<T: Grault> Grault for (T,)
+ | ^^^^^^ ^^^^
= note: 1 redundant requirements hidden
= note: required because of the requirements on the impl of `Grault` for `(T,)`
LL | type A = ();
| ^^^^^^^^^^^^
|
- = note: required because of the requirements on the impl of `Grault` for `(T,)`
+note: required because of the requirements on the impl of `Grault` for `(T,)`
+ --> $DIR/impl-wf-cycle-1.rs:15:17
+ |
+LL | impl<T: Grault> Grault for (T,)
+ | ^^^^^^ ^^^^
= note: 1 redundant requirements hidden
= note: required because of the requirements on the impl of `Grault` for `(T,)`
LL | type B = bool;
| ^^^^^^^^^^^^^^
|
- = note: required because of the requirements on the impl of `Grault` for `(T,)`
+note: required because of the requirements on the impl of `Grault` for `(T,)`
+ --> $DIR/impl-wf-cycle-1.rs:15:17
+ |
+LL | impl<T: Grault> Grault for (T,)
+ | ^^^^^^ ^^^^
= note: 1 redundant requirements hidden
= note: required because of the requirements on the impl of `Grault` for `(T,)`