trait B {
  def f1: {}
}