path: root/test/pos/michel2.scala

trait A extends Object {
  def f : Int = 1
}

trait B extends Object with A {
  override def f : Int = super.f
}