FILE: extensionInvokeAfterSafeCall.kt public abstract interface A : R|kotlin/Any| { } public final fun test_1(a: R|A?|, convert: R|A.() -> kotlin/String|): R|kotlin/Unit| { lval s: R|kotlin/String?| = R|/a|?.{ R|/convert|.R|SubstitutionOverride|($subj$) } } public final fun test_2(a: R|A|, convert: R|A.() -> kotlin/String|): R|kotlin/Unit| { lval s: R|kotlin/String| = R|/convert|.R|SubstitutionOverride|(R|/a|) }