9ef5f6817 ^
6a5a6cca8 ^
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; } }