class A : Java1<Int> {
  constructor() /* primary */ {
    super/*Java1*/<Int>()
    /* <init>() */

  }

}

class B : Java1<Any> {
  constructor() /* primary */ {
    super/*Java1*/<Any>()
    /* <init>() */

  }

  override fun foo(vararg a: Any) {
  }

}

fun test(a: A, b: B) {
  a.foo(a = [1, 2])
  a.foo(a = [null])
  b.foo(a = ["", 1])
}
