Alexander Udalov
401f0ac583
"// TARGET_BACKEND: JVM" more clearly says that the test is JVM-specific, rather than DONT_TARGET_EXACT_BACKEND which excludes all other backends.
26 lines
321 B
Kotlin
Vendored
26 lines
321 B
Kotlin
Vendored
// 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
|
|
}
|