// FIR_IDENTICAL
// TARGET_BACKEND: JVM

// FILE: J.java

interface J extends I {

}

// FILE: E.kt

interface II {
    fun foo() {}
}

interface I : II {
}

abstract class C: I {
    override abstract fun foo()
}

abstract class D : C(), J {}

class E : D() {
    override fun foo() {}
}

fun foo(x : I) {
    x.foo()
}