9ef5f6817 ^
1 2 3 4 5 6 7 8 9 10 11
trait C[T] trait A[T] { type EPC[X1] = C[X1] type EPC2[X1] = C[X1] } trait B[T] extends A[T] { override type EPC = C[T] override type EPC2[X1 <: String] = C[X1] }