blob: 7793d3723039798386ccccb213825846aad1bf1b (
plain) (
tree)
|
|
// Invalid because nested hk type parameters are no longer allowed
import scala.language.higherKinds
object Bug {
class Tag[W[M1[X1]]]
def ofType[W[M2[X2]]]: Tag[W] = ???
type InSeq [M3[X3]] = Some[M3[Any]]
// fail
val x = ofType[InSeq]
// okay
val y: Any = ofType[InSeq]
object T {
val z = ofType[InSeq]
}
}
|