src/test/ui/generic-associated-types/issue-68648-2.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/issue-68648-2.rs:14:17
   3    |
   4 LL | fn bug<'a, T: Fun<F<'a> = T>>(t: T) -> T::F<'a> {
   5    |            - this type parameter
   6 LL |     T::identity(())
   7    |     ----------- ^^ expected type parameter `T`, found `()`
   8    |     |
   9    |     arguments to this function are incorrect
  10    |
  11    = note: expected type parameter `T`
  12                    found unit type `()`
  13 note: associated function defined here
  14   --> $DIR/issue-68648-2.rs:6:8
  15    |
  16 LL |     fn identity<'a>(t: Self::F<'a>) -> Self::F<'a> { t }
  17    |        ^^^^^^^^     --------------
  18
  19 error: aborting due to previous error
  20
  21 For more information about this error, try `rustc --explain E0308`.