FILE: memberExtension.kt public final class Foo : R|kotlin/Any| { public constructor(): R|Foo| { super() } public final fun bar(arg: R|Bar|): R|kotlin/Unit| { R|/arg|.R|/foo|() } } public final fun R|Bar|.foo(): R|kotlin/Unit| { } public final class Bar : R|kotlin/Any| { public constructor(): R|Bar| { super() } public final fun R|Foo|.foo(): R|kotlin/Unit| { } public final fun bar(arg: R|Foo|): R|kotlin/Unit| { (this@R|/Bar|, R|/arg|).R|/Bar.foo|() } }