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