416062aa91 ^
836f5fbd90 ^
1 2 3 4 5 6 7 8 9
10
11 12 13 14
object That { trait A { type T <: I; trait I {} } trait B { type T <: J; trait J {} } trait C extends A with B { type T <: I with J; } }