trait A[OUT[_]] {
  null.asInstanceOf[B[OUT]].b1("")
}