FILE: simpleLazy.kt public final val x: R|kotlin/String|by R|kotlin/lazy|( = lazy@fun (): R|kotlin/String| { ^ String(Hello) } ) public get(): R|kotlin/String| { ^ D|/x|.R|kotlin/getValue|(Null(null), ::R|/x|) } public final fun foo(): R|kotlin/Unit| { R|/x|.R|kotlin/String.length| lval y: R|kotlin/String|by R|kotlin/lazy|( = lazy@fun (): R|kotlin/String| { ^ String(Bye) } ) R|/y|.R|kotlin/String.length| } public final class Some : R|kotlin/Any| { public constructor(): R|Some| { super() } public final val z: R|kotlin/String|by R|kotlin/lazy|( = lazy@fun (): R|kotlin/String| { ^ String(Some) } ) public get(): R|kotlin/String| { ^ this@R|/Some|.D|/Some.z|.R|kotlin/getValue|(this@R|/Some|, ::R|/Some.z|) } public final fun foo(): R|kotlin/Unit| { this@R|/Some|.R|/Some.z|.R|kotlin/String.length| } }