1 2 3 4 5 6 7 8 9 10
object t2070 { trait A { type T[X] def f(x : T[Int]) = x } object B extends A { trait T[X[_]] } }