// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠJVM _ TARGET : Ġ 1 . 8 Ċ // ĠSAM _ CONVERSION S : ĠIN DY Ċ Ċ // ĠCHECK _ BYTE CODE _ TEXT Ċ // ĠJVM _ IR _ TEMP LAT ES Ċ // Ġ 1 Ġjava / lang / invoke / Lambda Met af actory Ċ Ċ // ĠFILE : Ġenhanced Null ability . kt Ċ fun Ġmul 2 ( x : ĠInt ) Ġ= Ġx Ġ* Ġ 2 Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġt Ġ= ĠSam (:: mul 2 ). get ( 2 1 ) ĊĠĠĠ Ġif Ġ( t Ġ!= Ġ 4 2 ) ĊĠĠĠĠĠĠĠ Ġreturn Ġ" Failed : Ġt =$ t " ĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ Ċ // ĠFILE : ĠSam . java Ċ import Ġorg . jetbrains . annotations .*; Ċ Ċ public Ġinterface ĠSam Ġ{ ĊĠĠĠ Ġ@ NotNull ĠInteger Ġget (@ NotNull ĠInteger Ġarg ); Ċ } Ċ