FILE: dispatchReceiver.kt public abstract interface Base : R|kotlin/Any| { public abstract fun check(): R|kotlin/Unit| } public final class My : R|kotlin/Any| { public constructor(): R|My| { super() } public final lateinit var delegate: R|Base| public get(): R|Base| public set(value: R|Base|): R|kotlin/Unit| public final fun check(): R|kotlin/Unit| { ^check this@R|/My|.R|/My.delegate|.R|/Base.check|() } }