kotlin-fork/compiler/testData/diagnostics/tests/smartCasts/safecalls/simple.kt

fun calc(x: List<String>?): Int {
    // x should be non-null in arguments list
    x?.get(<!DEBUG_INFO_SMARTCAST!>x<!>.size - 1)
    // but not also here!
    return x<!UNSAFE_CALL!>.<!>size
}