// JVM_DEFAULT_MODE: no-compatibility
// JVM_TARGET: 1.8
// WITH_STDLIB
// MODULE: lib
// FILE: 1.kt
interface Test {
    val prop: String
        get() =  "OK"
}

// MODULE: main(lib)
// FILE: 2.kt
interface Test2 : Test {
    override val prop: String
        get() = super.prop
}

fun box(): String {
    return object : Test2 {}.prop
}
