trait A
trait B

trait Wr {
  val z: A with B
}

object Er {
  val a = er1
}