abstract class B : Java1, Java2 {
  constructor() /* primary */ {
    super/*Java1*/()
    /* <init>() */

  }

}

class C : Java1, Java2 {
  constructor() /* primary */ {
    super/*Java1*/()
    /* <init>() */

  }

  override fun bar(): String {
    return ""
  }

  override fun foo(t: String) {
  }

}

fun test(b: B, c: C) {
  val k: String = b.bar() /*!! String */
  b.foo(t = "")
  b.foo(t = null)
  val k2: String = c.bar()
  c.foo(t = "")
}
