ad6c68359 ^
1 2 3 4 5 6 7
object Test { type Inv[T[_]] = T[_] class Hi[T[_]](x: Inv[T]) { def foo[T[_]](value: Inv[T] = x) = {} } }