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)
}