src/test/ui/issues/issue-39970.stderr

   1 error[E0271]: type mismatch resolving `for<'a> <() as Array<'a>>::Element == ()`
   2   --> $DIR/issue-39970.rs:29:5
   3    |
   4 LL |     <() as Visit>::visit();
   5    |     ^^^^^^^^^^^^^^^^^^^^ expected &(), found ()
   6    |
   7    = note: expected type `&()`
   8               found type `()`
   9    = note: required because of the requirements on the impl of `Visit` for `()`
  10 note: required by `Visit::visit`
  11   --> $DIR/issue-39970.rs:16:5
  12    |
  13 LL |     fn visit() {}
  14    |     ^^^^^^^^^^
  15
  16 error: aborting due to previous error
  17
  18 For more information about this error, try `rustc --explain E0271`.