// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠJVM _ TARGET : Ġ 1 . 8 Ċ // ĠSAM _ CONVERSION S : ĠIN DY Ċ // ĠWITH _ RUNTIME Ċ // ĠFILE : Ġ 2 . kt Ċ import Ġa .* Ċ Ċ fun Ġbox () Ġ= Ġtest Ġ{ Ġk Ġ-> Ġ" O " Ġ+ Ġk Ġ} Ċ Ċ // ĠFILE : Ġ 1 . kt Ċ package Ġa Ċ Ċ fun Ġinterface ĠIF oo Ġ{ ĊĠĠĠ Ġfun Ġfoo ( k : ĠString ): ĠString Ċ } Ċ Ċ fun Ġfoo K ( i Foo : ĠIF oo ) Ġ= Ġi Foo . foo (" K ") Ċ Ċ inline Ġfun Ġtest ( cross inline Ġlambda : Ġ( String ) Ġ-> ĠString ) Ġ= ĊĠĠĠ Ġfoo K Ġ{ Ġk Ġ-> Ġlambda ( k ) Ġ}