FILE: superMember.kt public open class A : R|kotlin/Any| { public constructor(): R|A| { super() } public open fun foo(): R|kotlin/Unit| { } } public final class B : R|A| { public constructor(): R|B| { super() } public final fun bar(): R|kotlin/Unit| { this@R|/B|.R|/A.foo|() } }