// ĠLANGUAGE _ VERSION : Ġ 1 . 3 Ċ @ file : Suppress (" IN VISIBLE _ MEMBER ", Ġ" IN VISIBLE _ REFERENCE ") Ċ Ċ package Ġtest Ċ Ċ import Ġkotlin . internal . contracts .* Ċ Ċ fun ĠAny ?. isNotNull (): ĠBoolean Ġ{ ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġreturns ( true ) Ġimplies Ġ( this @ isNotNull Ġ!= Ġnull ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġthis Ġ!= Ġnull Ċ }