// ĠFILE : ĠJava Class . java Ċ Ċ import Ġorg . jetbrains . annotations . Nullable ; Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġclass ĠJava Class Ġ{ ĊĠĠĠ Ġstatic ĠInteger Ġfoo () Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġ 1 ; ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Nullable ĊĠĠĠ Ġstatic ĠInteger Ġfoo N () Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġ 1 ; ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ NotNull ĊĠĠĠ Ġstatic ĠInteger Ġfoo NN () Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġ 1 ; ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠFILE : Ġtest . kt Ċ Ċ fun Ġ< T , ĠS : ĠAny > Ġtest ( x 1 : ĠT , Ġx 2 : ĠT ?, Ġy 1 : ĠS , Ġy 2 : ĠS ?) Ġ{ ĊĠĠĠ Ġx 1 Ġis ĠT ? ĊĠĠĠ Ġx 2 Ġis ĠT ? ĊĠĠĠ Ġy 1 Ġis ĠS ? ĊĠĠĠ Ġy 2 Ġis ĠS ? ĊĊĠĠĠ Ġval Ġf 1 Ġ= ĠJava Class . foo () ĊĠĠĠ Ġf 1 Ġis ĠInt ? ĊĊĠĠĠ Ġval Ġf 2 Ġ= ĠJava Class . foo N () ĊĠĠĠ Ġf 2 Ġis ĠInt ? ĊĊĠĠĠ Ġval Ġf 3 Ġ= ĠJava Class . foo NN () ĊĠĠĠ Ġf 3 Ġis ĠInt ? Ċ } Ċ