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