1 error[E0271]: type mismatch resolving `for<'a> <() as Array<'a>>::Element == ()`
2 --> $DIR/issue-39970.rs:19:5
4 LL | <() as Visit>::visit();
5 | ^^^^^^^^^^^^^^^^^^^^ type mismatch resolving `for<'a> <() as Array<'a>>::Element == ()`
7 note: expected this to be `()`
8 --> $DIR/issue-39970.rs:10:20
10 LL | type Element = &'a ();
12 note: required for `()` to implement `Visit`
13 --> $DIR/issue-39970.rs:13:6
15 LL | impl Visit for () where
18 error: aborting due to previous error
20 For more information about this error, try `rustc --explain E0271`.