1 2 3 4 5 6 7 8 9 10 11
object Test { def f[C[+X]] = () class D[X] {} f[D] // error def g[E[-Y]] = f[E] // error }