fun test(j: J) { | |
j.getFoo() /*~> Unit */ | |
j.setFoo(x = 1) | |
{ // BLOCK | |
val tmp0_receiver: J = j | |
{ // BLOCK | |
val tmp1: Int = tmp0_receiver.getFoo() | |
tmp0_receiver.setFoo(x = tmp1.inc()) | |
tmp1 | |
} | |
} /*~> Unit */ | |
{ // BLOCK | |
val tmp2_receiver: J = j | |
tmp2_receiver.setFoo(x = tmp2_receiver.getFoo().plus(other = 1)) | |
} | |
} |