val test1: Function0 field = local fun () { 42 /*~> Unit */ } get fun test2(mc: MutableCollection) { mc.add(element = "") /*~> Unit */ } fun test3() { { // BLOCK val tmp_0: @FlexibleNullability PrintStream? = super.#out when { EQEQ(arg0 = tmp_0, arg1 = null) -> null else -> tmp_0 /*!! PrintStream */.println(p0 = "Hello,") } } /*~> Unit */ { // BLOCK val tmp_1: @FlexibleNullability PrintStream? = super.#out when { EQEQ(arg0 = tmp_1, arg1 = null) -> null else -> tmp_1 /*!! PrintStream */.println(p0 = "world!") } } /*~> Unit */ }