src/test/ui/type-alias-impl-trait/issue-63355.stderr

   1 error[E0271]: type mismatch resolving `<() as Bar>::Foo == ()`
   2   --> $DIR/issue-63355.rs:34:20
   3    |
   4 LL | pub type FooImpl = impl Foo;
   5    |                    -------- the found opaque type
   6 LL | pub type BarImpl = impl Bar<Foo = FooImpl>;
   7    |                    ^^^^^^^^^^^^^^^^^^^^^^^ expected `()`, found opaque type
   8    |
   9    = note: expected unit type `()`
  10             found opaque type `impl Foo`
  11
  12 error: aborting due to previous error
  13
  14 For more information about this error, try `rustc --explain E0271`.