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

   1 error[E0308]: mismatched types
   2   --> $DIR/issue-32323.rs:5:30
   3    |
   4 LL | pub fn f<'a, T: Tr<'a>>() -> <T as Tr<'a>>::Out {}
   5    |        -                     ^^^^^^^^^^^^^^^^^^ expected associated type, found `()`
   6    |        |
   7    |        implicitly returns `()` as its body has no tail or `return` expression
   8    |
   9    = note: expected associated type `<T as Tr<'a>>::Out`
  10                     found unit type `()`
  11 help: consider constraining the associated type `<T as Tr<'a>>::Out` to `()`
  12    |
  13 LL | pub fn f<'a, T: Tr<'a, Out = ()>>() -> <T as Tr<'a>>::Out {}
  14    |                      ++++++++++
  15
  16 error: aborting due to previous error
  17
  18 For more information about this error, try `rustc --explain E0308`.