error[E0308]: mismatched types
  --> $DIR/specialization-default-projection.rs:21:5
   |
LL | fn generic<T>() -> <T as Foo>::Assoc {
   |                    ----------------- expected `<T as Foo>::Assoc` because of return type
...
LL |     ()
   |     ^^ expected associated type, found ()
   |
   = note: expected type `<T as Foo>::Assoc`
              found type `()`

error[E0308]: mismatched types
  --> $DIR/specialization-default-projection.rs:28:5
   |
LL | fn monomorphic() -> () {
   |                     -- expected `()` because of return type
...
LL |     generic::<()>()
   |     ^^^^^^^^^^^^^^^- help: try adding a semicolon: `;`
   |     |
   |     expected (), found associated type
   |
   = note: expected type `()`
              found type `<() as Foo>::Assoc`

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0308`.