abstract class A : Java2 {
  constructor() /* primary */ {
    super/*Java2*/()
    /* <init>() */

  }

}

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

  }

  override fun <T : Any?> bar(): T {
    return CHECK_NOT_NULL<Nothing>(arg0 = null)
  }

  override fun <T : Any?> foo(a: T) {
  }

}

class C : Java3 {
  constructor() /* primary */ {
    super/*Java3*/()
    /* <init>() */

  }

}

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

  }

  override fun <T : Any?> bar(): T {
    return CHECK_NOT_NULL<Nothing>(arg0 = null)
  }

  override fun <T : Any?> foo(a: T) {
    println(message = a)
  }

}

fun test(a: A, b: B, c: C, d: D) {
  val k: Int = a.bar<Int>() /*!! Int */
  val k3: Any = a.bar<@FlexibleNullability Any?>() /*!! Any */
  a.foo<@FlexibleNullability Int?>(a = 1)
  a.foo<@FlexibleNullability Nothing?>(a = null)
  a.foo<Int?>(a = null)
  a.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
  val k5: Int? = b.bar<Int?>()
  val k6: Any = b.bar<Any>()
  b.foo<Int>(a = 1)
  b.foo<Nothing?>(a = null)
  b.foo<Int?>(a = null)
  b.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
  val k7: Int? = c.bar<Int?>()
  val k8: Any = c.bar<Any>() /*!! Any */
  c.foo<@FlexibleNullability Int?>(a = 1)
  c.foo<@FlexibleNullability Nothing?>(a = null)
  c.foo<Int?>(a = null)
  c.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
  val k9: Int? = d.bar<Int?>()
  val k10: Any = d.bar<Any>()
  d.foo<Int>(a = 1)
  d.foo<Nothing?>(a = null)
  d.foo<Int?>(a = null)
  d.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
}
