// Ġ! LANGUAGE : Ġ+ Strict Java Null ability Assertions Ċ // ĠIG NORE _ BACKEND : ĠJVM _ IR Ċ // ĠTARGET _ BACKEND : ĠJVM Ċ Ċ // ĠFILE : Ġbox . kt Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġtry Ġ{ ĊĠĠĠĠĠĠĠ ĠJ (). test () ĊĠĠĠĠĠĠĠ Ġreturn Ġ" Fail : Ġshould Ġthrow " ĊĠĠĠ Ġ} ĊĠĠĠ Ġcatch Ġ( e : ĠThrowable ) Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġ" OK " ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠFILE : Ġtest . kt Ċ val Ġwith Assertion Ġ= ĠJ (). null String () Ċ Ċ fun Ġcl init Trigger () Ġ{} Ċ Ċ // ĠFILE : ĠJ . java Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġclass ĠJ Ġ{ ĊĠĠĠ Ġpublic Ġ@ NotNull ĠString Ġnull String () Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġnull ; ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġpublic Ġvoid Ġtest () Ġ{ ĊĠĠĠĠĠĠĠ ĠTest Kt . cl init Trigger (); ĊĠĠĠ Ġ} Ċ }