| FILE: first.kt | |
| @R|Open|() public open class A : R|kotlin/Any| { | |
| public constructor(): R|A| { | |
| super<R|kotlin/Any|>() | |
| } | |
| public final fun foo(): R|kotlin/Unit| { | |
| } | |
| } | |
| @R|Open|() public open class B : R|A| { | |
| public constructor(): R|B| { | |
| super<R|A|>() | |
| } | |
| public open override fun foo(): R|kotlin/Unit| { | |
| } | |
| } | |
| FILE: second.kt | |
| @R|org/jetbrains/kotlin/plugin/sandbox/AllOpen|() public open annotation class Open : R|kotlin/Annotation| { | |
| public constructor(): R|Open| { | |
| super<R|kotlin/Any|>() | |
| } | |
| } |