idea/testData/refactoring/introduceVariable/callUnderSmartCast.kt

interface T {
    fun foo(): Int
}

interface U: T

fun test(t: T): Int {
    return if (t is U)
        <selection>t.foo()</selection> + 1
    else t.foo()
}