mirror of
https://github.com/jlengrand/kotlin.git
synced 2026-05-09 08:31:29 +00:00
22 lines
284 B
Kotlin
Vendored
22 lines
284 B
Kotlin
Vendored
// FILE: Base.java
|
|
|
|
public interface Base {
|
|
default String foo() {
|
|
return "OK";
|
|
}
|
|
}
|
|
|
|
// FILE: derived.kt
|
|
// JVM_TARGET: 1.8
|
|
interface K1 : Base
|
|
|
|
interface K2 : K1
|
|
|
|
interface K3 : K2
|
|
|
|
class C : K3 {
|
|
override fun foo() = super.foo()
|
|
}
|
|
|
|
fun box(): String = C().foo()
|