FILE: extensionOnObject.kt public final object X : R|kotlin/Any| { private constructor(): R|X| { super() } } public final class Y : R|kotlin/Any| { public constructor(): R|Y| { super() } public final fun f(op: R|X.() -> kotlin/Unit|): R|kotlin/Unit| { R|/op|.R|SubstitutionOverride|(Q|X|) lval x: R|X| = Q|X| R|/op|.R|SubstitutionOverride|(R|/x|) } }