9ef5f6817 ^
1 2 3 4 5
object Program { trait A { type T } type B = A { type T = String } trait C extends B }