FILE: main.kt public open class Executor : R|kotlin/Any| { public constructor(): R|Executor| { super() } } public final class CommandExecutor : R|Executor| { public constructor(): R|CommandExecutor| { super() } } public final class B : R|A| { public constructor(): R|B| { super() } public final val executor: R|CommandExecutor| = R|/CommandExecutor.CommandExecutor|() public get(): R|CommandExecutor| public final fun test(): R|kotlin/Unit| { lval e: R|CommandExecutor| = this@R|/B|.R|/B.executor| } } public final fun test(b: R|B|): R|kotlin/Unit| { R|/b|.R|/B.executor| }