fun <F : Any?> test(j: J<F>) {
  j.getFoo() /*~> Unit */
  j.setFoo(x = 1)
  { // BLOCK
    val tmp_0: J<F> = j
    val tmp_1: Int = tmp_0.getFoo()
    tmp_0.setFoo(x = tmp_1.inc())
    tmp_1
  } /*~> Unit */
  { // BLOCK
    val tmp_2: J<F> = j
    tmp_2.setFoo(x = tmp_2.getFoo().plus(other = 1))
  }
}
