FILE: missingOverride.kt
    public abstract interface Target : R|kotlin/Any| {
        public abstract fun value(): R|kotlin/String|

    }
    @R|org/jetbrains/kotlin/plugin/sandbox/AddSupertype|(value = <getClass>(Q|Target|)) public abstract interface MergePoint : R|kotlin/Any|, R|Target| {
        public abstract override fun value(): R|kotlin/String|

    }
    public final fun box(): R|kotlin/String| {
        ^box String(OK)
    }
