kotlin-fork/idea/testData/refactoring/introduceVariable/callUnderSmartCast.kt.after

trait T {
    fun foo(): Int
}

trait U: T

fun test(t: T): Int {
    val i = t.foo()
    return if (t is U)
        i + 1
    else i
}