Files
Nikolay Lunyak 88ff93df7f [FIR] Check is for impossibility
^KT-58203 Fixed
^KT-62646
2024-03-08 15:37:44 +00:00

27 lines
430 B
Kotlin
Vendored

// !DUMP_CFG
fun test_1(x: Any) {
if (x is String) {
x.length
}
x.<!UNRESOLVED_REFERENCE!>length<!>
}
fun test_2(x: Any) {
val b = x is String
if (b) {
x.length
}
x.<!UNRESOLVED_REFERENCE!>length<!>
}
fun test_3(x: Any) {
when {
x !is String -> {}
<!USELESS_IS_CHECK!>x !is Int<!> -> {}
else -> {
x.length
x.inc()
}
}
}