FILE: referenceToField.kt public final class A : R|kotlin/Any| { public constructor(): R|A| { super() } public final val x: R|kotlin/Int| = Int(1) public get(): R|kotlin/Int| { ::# ^ this@R|/A|.F|/A.x| } }