Dmitrii Gridin
16 lines
765 B
Plaintext
Vendored
16 lines
765 B
Plaintext
Vendored
FILE: scriptLevelDestructuringWithAnnotation.kts
|
|
SCRIPT: <script-scriptLevelDestructuringWithAnnotation.kts>
|
|
|
|
@DestrAnno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
|
|
@LeftAnno(LAZY_EXPRESSION) public final val a: <implicit> = R|<local>/<destruct>|.component1#()
|
|
|
|
|
|
@RightAnno(LAZY_EXPRESSION) public final val b: <implicit> = R|<local>/<destruct>|.component2#()
|
|
|
|
|
|
@Destr2Anno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
|
|
@SecondLeftAnno(LAZY_EXPRESSION) public final val c: <implicit> = R|<local>/<destruct>|.component1#()
|
|
|
|
|
|
@SecondRightAnno(LAZY_EXPRESSION) public final val d: <implicit> = R|<local>/<destruct>|.component2#()
|