FILE: User.kt package test public final class User : R|BaseClass| { public constructor(): R|test/User| { super() } public final fun foo(tree: R|BaseClass|): R|kotlin/Unit| { lval ui: R|kotlin/String!| = R|/tree|.R|/BaseClass.ui#| } public final fun bar(): R|kotlin/Unit| { lval ui: R|kotlin/String!| = this@R|test/User|.R|/BaseClass.ui| } public final fun baz(): R|kotlin/Unit| { lval ui: R|kotlin/String!| = this@R|test/User|.R|/BaseClass.ui| } }