// ĠIG NORE _ BACKEND : ĠJVM Ċ // ĠWITH _ STD LIB Ċ // ĠWORK S _ WHEN _ VALUE _ CLASS Ċ // ĠLANGUAGE : Ġ+ Value Classes Ċ Ċ interface ĠX Ċ Ċ OPTIONAL _ JVM _ INLINE _ AN NOT ATION Ċ value Ġclass ĠZ ( val Ġvalue : ĠInt ) Ġ: ĠX Ċ Ċ fun Ġ< T > Ġtest ( t : ĠT ) Ġwhere ĠT Ġ: ĠX , ĠT Ġ: ĠZ Ġ= Ġt Ġas ? ĠInt Ċ Ċ fun Ġbox (): ĠString Ġ= Ġif Ġ( test ( Z ( 4 2 )) Ġ!= Ġnull ) Ġ" fail " Ġelse Ġ" OK " Ċ