Ilya Chernikov
20 lines
1.0 KiB
Plaintext
Vendored
20 lines
1.0 KiB
Plaintext
Vendored
FILE: scriptStatementLevelDestructuringWithAnnotation.kts
|
|
SCRIPT: <script-scriptStatementLevelDestructuringWithAnnotation.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#()
|
|
@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#()
|
|
}
|
|
}
|
|
|
|
}
|
|
|
|
public? final? fun foo(): R|kotlin/Unit| {
|
|
}
|