// EXPECTED_REACHABLE_NODES: 1288
// Test for KT-5673

package foo

interface Holder {
    val element: String
}

class BasicHolder : Holder {
    override val element: String

    init {
        this.element = "ok"
    }
}

fun box(): String {
    assertEquals("ok", BasicHolder().element)

    return "OK"
}