path: root/test/files/neg/t0204.scala

object Program {
 trait A { type T }
 type B = A { type T = String }
 trait C extends B
}