// COMPILER_ARGUMENTS: -Xjvm-default=all-compatibility
package defaultMethod

interface MyInterface {
    fun myFun() {}
}