// ĠIG NORE _ BACKEND _ FI R : ĠJVM _ IR Ċ // ĠTARGET _ BACKEND : ĠJVM Ċ // ĠFILE : ĠWith Var args . java Ċ Ċ public Ġclass ĠWith Var args Ġ{ ĊĠĠĠ Ġpublic Ġstatic ĠString Ġfoo () Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġnew ĠA (" 1 ", Ġ" 2 ", Ġ" 3 "). get Prop (); ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠFILE : Ġwith Var args . kt Ċ Ċ fun Ġjoin ( x : ĠArray < out ĠString >): ĠString Ġ{ ĊĠĠĠ Ġvar Ġresult Ġ= Ġ"" ĊĠĠĠ Ġfor Ġ( i Ġin Ġx ) Ġ{ ĊĠĠĠĠĠĠĠ Ġresult Ġ+= Ġi ĊĠĠĠĠĠĠĠ Ġresult Ġ+= Ġ"#" ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġreturn Ġresult Ċ } Ċ Ċ class ĠA Ġ{ ĊĠĠĠ Ġval Ġprop : ĠString ĊĠĠĠ Ġconstructor ( var arg Ġx : ĠString ) Ġ{ ĊĠĠĠĠĠĠĠ Ġprop Ġ= Ġjoin ( x ) ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġa 1 Ġ= ĠWith Var args . foo () ĊĠĠĠ Ġif Ġ( a 1 Ġ!= Ġ" 1 # 2 # 3 # ") Ġreturn Ġ" fail 1 : Ġ${ a 1 }" ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ