FILE: safeCallInvoke.kt public final class A : R|kotlin/Any| { public constructor(): R|A| { super() } public final operator fun invoke(): R|kotlin/Unit| { } } public final class B : R|kotlin/Any| { public constructor(): R|B| { super() } public final val bar: R|() -> kotlin/Unit| = fun (): R|kotlin/Unit| { ^ Unit } public get(): R|() -> kotlin/Unit| public final val foo: R|A| = R|/A.A|() public get(): R|A| } public final fun main(b: R|B?|): R|kotlin/Unit| { R|/b|?.{ $subj$.R|/B.bar|.R|SubstitutionOverride|() } R|/b|?.{ $subj$.R|/B.foo|.R|/A.invoke|() } }