FILE: localVariablesWithBackingFields.kt public final val that: R|kotlin/Number| private : R|kotlin/Int| = Int(239) public get(): R|kotlin/Number| public final fun test(): R|kotlin/Unit| { lval a: R|kotlin/Number| # = Int(1) lval b: R|kotlin/Number|by R|kotlin/lazy|( = lazy@fun (): R|kotlin/Int| { ^ Int(2) } ) # = Int(10) } public final class A : R|kotlin/Any| { public constructor(): R|A| { super() } public final val c: R|kotlin/Number|by R|kotlin/lazy|( = lazy@fun (): R|kotlin/Int| { ^ Int(2) } ) private : R|kotlin/Int| = Int(10) public get(): R|kotlin/Number| { ^ this@R|/A|.D|/A.c|.R|kotlin/getValue|(this@R|/A|, ::R|/A.c|) } } public final val R|A|.cc: R|kotlin/Number| private : R|kotlin/Int| = Int(10) public get(): R|kotlin/Number| public final fun R|A|.cc(): R|kotlin/Unit| { lval it: = #.#(Int(2)) }