1 2 3 4 5 6 7 8 9 10 11
class Test { type T[X] // OK type U[X] = T[X] // OK type V[X] >: T[X] // error type W[X] >: T[X] <: T[X] // error def f[C[X] >: T[X]]() = ??? // error }