// File ĠA . java Ċ import Ġkotlin . Metadata ; Ċ import Ġkotlin . jvm . internal . Intr insics ; Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġfinal Ġclass ĠA Ġ{ ĊĠĠ Ġ@ NotNull ĊĠĠ Ġpublic Ġfinal ĠString Ġfoo (@ NotNull ĠString Ġresult ) Ġ{ ĊĠĠĠĠĠ Ġreturn Ġresult ; ĊĠĠ Ġ} Ċ } ĊĊ Ċ // File ĠMain . kt ĊĊ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġx Ġ= ĠA :: foo ĊĠĠĠ Ġreturn Ġx ( A (), Ġ" OK ") Ċ } ĊĊ