| 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|) [evaluated = <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) | |
| } |