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