FILE: invokeOfLambdaWithReceiver.kt public abstract interface A : R|kotlin/Any| { } public final fun test(a: R|A|, block: R|A.() -> kotlin/Int|): R|kotlin/Unit| { R|/block|.R|SubstitutionOverride|(R|/a|) } public abstract interface B : R|kotlin/Any| { } public final fun R|B|.otherTest(block: R|B.() -> kotlin/Int|): R|kotlin/Unit| { R|/block|.R|SubstitutionOverride|(this@R|/otherTest|) } public final class C : R|kotlin/Any| { public constructor(): R|C| { super() } public final fun anotherTest(block: R|C.() -> kotlin/Int|): R|kotlin/Unit| { R|/block|.R|SubstitutionOverride|(this@R|/C|) } }