/** Ċ Ġ* ĠThis Ġfile Ġvalidate Ġcompile Ġtime Ġbehavior . ĠThere Ġis Ġno Ġneed Ġto Ġrun Ġit . Ċ Ġ*/ Ċ @ file : Suppress (" unused ") Ċ Ċ package Ġorg . am sh ove . k lu ent . tests . contracts Ċ Ċ import Ġorg . am sh ove . k lu ent .* Ċ Ċ fun Ġ` should Ġnot Ġbe Ġnull Ġcontract Test `() Ġ{ ĊĠĠĠ Ġval Ġnullable : ĠString ? Ġ= Ġnull ĊĊĠĠĠ Ġnullable .` should Ġnot Ġbe Ġnull `() ĊĊĠĠĠ Ġnullable . length Ġ// Ġ<-- ĠSmart Ġcast Ċ } Ċ Ċ fun Ġ` should Ġbe Ġtrue Ġcontract Test `() Ġ{ ĊĠĠĠ Ġval Ġnullable : ĠString ? Ġ= Ġnull ĊĊĠĠĠ Ġ( nullable Ġ!= Ġnull ). ` should Ġbe Ġtrue `() ĊĊĠĠĠ Ġnullable . length Ġ// Ġ<-- ĠSmart Ġcast Ċ } Ċ Ċ fun Ġ` should Ġbe Ġfalse Ġcontract Test `() Ġ{ ĊĠĠĠ Ġval Ġnullable : ĠString ? Ġ= Ġnull ĊĊĠĠĠ Ġ( nullable Ġ== Ġnull ). ` should Ġbe Ġfalse `() ĊĊĠĠĠ Ġnullable . length Ġ// Ġ<-- ĠSmart Ġcast Ċ } Ċ Ċ fun Ġ` should Ġnot Ġbe Ġtrue Ġcontract Test `() Ġ{ ĊĠĠĠ Ġval Ġnullable : ĠString ? Ġ= Ġnull ĊĊĠĠĠ Ġ( nullable Ġ== Ġnull ). ` should Ġnot Ġbe Ġtrue `() ĊĊĠĠĠ Ġnullable . length Ġ// Ġ<-- ĠSmart Ġcast Ċ } Ċ Ċ fun Ġ` should Ġnot Ġbe Ġfalse Ġcontract Test `() Ġ{ ĊĠĠĠ Ġval Ġnullable : ĠString ? Ġ= Ġnull ĊĊĠĠĠ Ġ( nullable Ġ!= Ġnull ). ` should Ġnot Ġbe Ġfalse `() ĊĊĠĠĠ Ġnullable . length Ġ// Ġ<-- ĠSmart Ġcast Ċ } Ċ