compiler/testData/diagnostics/testsWithStdLib/smartcasts/letChangesToNull.fir.kt

// KT-9051: Allow smart cast for captured variables if they are not modified

fun foo(y: String?) {
    var x: String? = ""
    if (x != null) {
        y?.let { x = null }
        x<!UNSAFE_CALL!>.<!>length // Smart cast is not possible
    }
}