FILE: delegatesWithAnnotations.kt @Anno((String(x annotation ), x#)) public? final? val x: Intby lazy#( = lazy@fun .(): { IntegerLiteral(1).plus#(IntegerLiteral(2)) } ) public? get(): { ^ D|/x|.getValue#(Null(null), ::R|/x|) } @Anno((String(delegate annotation ), x#)) field:@PROPERTY_DELEGATE_FIELD:Anno((String(delegate: delegate annotation ), x#)) public? final? val delegate: = object : ReadWriteProperty<@Anno((String(ReadWriteProperty first type argument ), x#)) Any?, @Anno((String(ReadWriteProperty second type argument ), x#)) Int> { private [ContainingClassKey=] constructor(): R|| { super<>() } @Anno((String(getValue ), x#)) public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): @Anno((String(getValue return type ), x#)) Int { ^getValue IntegerLiteral(1) } @Anno((String(setValue ), x#)) public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: @Anno((String(setValue value parameter type ), x#)) Int): R|kotlin/Unit| { } } public? get(): @Anno((String(value annotation ), x#)) field:@PROPERTY_DELEGATE_FIELD:Anno((String(delegate: value annotation ), x#)) public? final? val value: by delegate# @PROPERTY_GETTER:Anno((String(get: value annotation ), x#)) public? get(): { ^ D|/value|.getValue#(Null(null), ::R|/value|) } @Anno((String(variable annotation ), x#)) field:@PROPERTY_DELEGATE_FIELD:Anno((String(delegate: value annotation ), x#)) public? final? var variable: by delegate# @PROPERTY_GETTER:Anno((String(get: value annotation ), x#)) public? get(): { ^ D|/variable|.getValue#(Null(null), ::R|/variable|) } @PROPERTY_SETTER:Anno((String(set: value annotation ), x#)) public? set(@SETTER_PARAMETER:Anno((String(setparam: value annotation ), x#)) : ): R|kotlin/Unit| { ^ D|/variable|.setValue#(Null(null), ::R|/variable|, R|/variable|) }