| // FILE: Base.java | |
| public interface Base { | |
| default String foo() { | |
| return "OK"; | |
| } | |
| } | |
| // FILE: derived.kt | |
| interface K1 : Base | |
| interface K2 : K1 | |
| interface K3 : K2 | |
| class C : K3 { | |
| @kotlin.Suppress("DEFAULT_METHOD_CALL_FROM_JAVA6_TARGET") | |
| override fun foo() = super.foo() | |
| } | |
| fun box(): String = C().foo() |