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