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

fun String.foo(arg: Int) = this[arg]

fun calc(x: String?) {
    // x should be non-null in arguments list
    x?.foo(<!DEBUG_INFO_SMARTCAST!>x<!>.length - 1)
}