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

trait A { type B = String }
class C[B](x: B) extends A { def f: B = x }