// !JVM_DEFAULT_MODE: all
@JvmDefaultWithCompatibility
interface A {
    fun f() {}
}

@JvmDefaultWithCompatibility
interface B : A