// ĠD ONT _ TARGET _ EX ACT _ BACKEND : ĠW ASM Ċ // ĠW ASM _ M UTE _ REASON : ĠUNKNOWN Ċ class ĠInv < T > Ċ Ċ fun ĠInv <* >. inv To Inv (): ĠInv < *> ? Ġ= Ġnull Ċ Ċ fun Ġ< R > Ġmy Run ( block : Ġ() Ġ-> ĠR ): ĠR Ġ{ ĊĠĠĠ Ġreturn Ġblock () Ċ } Ċ Ċ fun Ġtest ( c : ĠInv <* >) Ġ{ ĊĠĠĠ Ġmy Run Ġ{ ĊĠĠĠĠĠĠĠ Ġif Ġ( true ) Ġreturn @ my Run Ġ// Ġco er ction Ġto ĠUnit ĊĊĠĠĠĠĠĠĠ Ġc . inv To Inv ()?. let Ġ{} ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġtest ( Inv < Int >()) ĊĠĠĠ Ġreturn Ġ" OK " Ċ }