blob: b6c206a535f0cf3b22d55e92eb27fa798ae3977f [file]
// TARGET_BACKEND: JVM
// JVM_TARGET: 1.8
// MODULE: lib
// FILE: A.java
public interface A {
default String getMessage() {
return "OK";
}
}
// MODULE: main(lib)
// FILE: 1.kt
interface I : A
class B : A
open class C(a : A) : I, A by a
fun box(): String {
val a = B()
return C(a).message
}