compiler/testData/diagnostics/tests/smartCasts/ownerDeclaresBothModifies.fir.kt

// DIAGNOSTICS: -UNUSED_PARAMETER
fun foo(arg: Int?) {
    var x = arg
    if (x == null) return
    run {
        // Stable because `run` is in-place
        x.hashCode()
        x = null
    }
    if (x != null) x = 42
    // Unsafe because of lambda
    x<!UNSAFE_CALL!>.<!>hashCode()
}