9ef5f6817 ^
1 2 3 4
trait Y { type X } trait W { def u[A](v : Y { type X = A }) : Unit } class Z extends W { def u[A](v : Y { type X = A }) = null }