compiler/testData/codegen/box/smartCasts/kt19058.kt

// TARGET_BACKEND: JVM
// JVM_TARGET: 1.8
// FILE: Test.kt
open class KFoo {
    fun foo(): String {
        if (this is KFooBar) return bar
        throw AssertionError()
    }
}

class KFooBar : KFoo(), JBar

fun box(): String = KFooBar().foo()

// FILE: JBar.java
public interface JBar {
    default String getBar() {
        return "OK";
    }
}