kotlin-fork/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromLibrary/notIsNullOrEmpty.kt

fun test_1(s: String?) {
    when {
        !s.isNullOrEmpty() -> s.length // Should be OK
    }
}

fun test_2(s: String?) {
    // contracts related
    if (s.isNullOrEmpty()) {
        s<!UNSAFE_CALL!>.<!>length // Should be bad
    } else {
        s.length // Should be OK
    }
}