FILE: scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
    SCRIPT: <script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>

        init {
            when () {
                Boolean(true) ->  {
                    @DestrAnno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
                    @LeftAnno(<strcat>(String(a ), prop#)) lval a: <implicit> = R|<local>/<destruct>|.component1#()
                    @RightAnno(<strcat>(String(b ), prop#)) lval b: <implicit> = R|<local>/<destruct>|.component2#()
                    run#(<L> = run@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
                        println#()
                    }
                    )
                    @Destr2Anno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
                    @SecondLeftAnno(<strcat>(String(c ), prop#)) lval c: <implicit> = R|<local>/<destruct>|.component1#()
                    @SecondRightAnno(<strcat>(String(d ), prop#)) lval d: <implicit> = R|<local>/<destruct>|.component2#()
                }
            }

        }