FILE: importedReceiver.kt public final fun R|T|.foo(): R|kotlin/Unit| { } public abstract interface Your : R|kotlin/Any| { public open fun wat(): R|kotlin/Unit| { } public open fun R|T|.watwat(): R|kotlin/Unit| { } } public final object My : R|Your| { private constructor(): R|My| { super() } public final fun R|T|.bar(): R|kotlin/Unit| { } public final fun baz(): R|kotlin/Unit| public final fun R|kotlin/Boolean|.gau(): R|kotlin/Unit| { } } public final fun test(): R|kotlin/Unit| { Int(42).R|/foo|() String().R|/foo|() (Q|My|, Int(42)).R|/My.bar|() (Q|My|, String()).R|/My.bar|() Q|My|.R|/My.baz|() (Q|My|, Boolean(true)).R|/My.gau|() Q|My|.R|SubstitutionOverride|() (Q|My|, Boolean(false)).R|SubstitutionOverride|() }