path: root/test/files/pos/bug780.scala

class B extends A { protected val x = false }
trait A requires B { x }