// ĠWITH _ STD LIB Ċ // ĠWORK S _ WHEN _ VALUE _ CLASS Ċ Ċ OPTIONAL _ JVM _ INLINE _ AN NOT ATION Ċ value Ġclass ĠIn lined ( val Ġvalue : ĠInt ) Ċ Ċ sealed Ġinterface ĠA Ġ< T : ĠIn lined > Ġ{ ĊĠĠĠ Ġfun Ġfoo ( i : ĠT ?) Ċ } Ċ Ċ class ĠB Ġ: ĠA < Nothing > Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġfoo ( i : ĠNothing ?) Ġ{} Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġa : ĠA < *> Ġ= ĠB () ĊĠĠĠ Ġa . foo ( null ) ĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ