// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠJVM _ TARGET : Ġ 1 . 8 Ċ // ĠSAM _ CONVERSION S : ĠIN DY Ċ Ċ // ĠCHECK _ BYTE CODE _ TEXT Ċ // ĠJVM _ IR _ TEMP LAT ES Ċ // Ġ 0 Ġjava / lang / invoke / Lambda Met af actory Ċ Ċ // ĠFILE : Ġarray Constructor . kt Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġsam Ġ= ĠSam (:: IntArray ) ĊĠĠĠ Ġval Ġarr Ġ= Ġsam . get ( 2 ) ĊĠĠĠ Ġif Ġ( arr . size Ġ!= Ġ 2 Ġ|| Ġarr [ 0 ] Ġ!= Ġ 0 Ġ|| Ġarr [ 1 ] Ġ!= Ġ 0 ) ĊĠĠĠĠĠĠĠ Ġreturn Ġ" Failed " ĊĠĠĠ Ġreturn Ġ" OK " Ċ } ĊĊ Ċ // ĠFILE : ĠSam . java Ċ public Ġinterface ĠSam Ġ{ ĊĠĠĠ Ġint [] Ġget ( int Ġx ); Ċ } Ċ