blob: 60de6de7017582adba95ed4f1bcf81b217a46faf (
plain) (
blame)
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]
}
|