class A<T : Any?> : Java1<T> {
  constructor() /* primary */ {
    super/*Java1*/<@FlexibleNullability T?>()
    /* <init>() */

  }

}

open class KotlinClass<T : Any?> : ArrayList<T> {
  constructor() /* primary */ {
    super/*ArrayList*/<@FlexibleNullability T?>()
    /* <init>() */

  }

}

fun test(a: A<Int>) {
  a.<get-size>() /*~> Unit */
  a.add(element = 1) /*~> Unit */
  a.add(index = 1, element = 2)
  a.get(index = 0) /*~> Unit */
  a.removeAt(p0 = 1) /*~> Unit */
  a.remove(element = 1) /*~> Unit */
}
