Dmitriy Novozhilov
65ea4e184a
- Add utilities to add new attribute to ConeAttributes
- Get rid of FlexibleNullability attribute (it can be easily inferred
for any flexible type at any moment)
- Fix determining of EnhancedNullability attribute
28 lines
660 B
Plaintext
Vendored
28 lines
660 B
Plaintext
Vendored
val test1: Function0<Unit>
|
|
field = local fun <anonymous>(): Int {
|
|
42 /*~> Unit */
|
|
}
|
|
|
|
get
|
|
|
|
fun test2(mc: MutableCollection<String>) {
|
|
mc.add(element = "") /*~> Unit */
|
|
}
|
|
|
|
fun test3() {
|
|
{ // BLOCK
|
|
val tmp0_safe_receiver: @FlexibleNullability PrintStream? = #out
|
|
when {
|
|
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
|
else -> tmp0_safe_receiver.println(p0 = "Hello,")
|
|
}
|
|
} /*~> Unit */
|
|
{ // BLOCK
|
|
val tmp1_safe_receiver: @FlexibleNullability PrintStream? = #out
|
|
when {
|
|
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
|
|
else -> tmp1_safe_receiver.println(p0 = "world!")
|
|
}
|
|
} /*~> Unit */
|
|
}
|