import Ġkotlin . contracts .* Ċ Ċ @ Suppress (" EXPERIMENT AL _ API _ USAGE _ ERROR ", Ġ" EXPERIMENT AL _ API _ USAGE _ F UT URE _ ERROR ") Ċ inline Ġfun Ġat Least Once ( block : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġcalls In Place ( block , ĠInvocation Kind . AT _ LE AST _ ON CE ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġblock () Ċ } Ċ Ċ @ Suppress (" EXPERIMENT AL _ API _ USAGE _ ERROR ", Ġ" EXPERIMENT AL _ API _ USAGE _ F UT URE _ ERROR ") Ċ inline Ġfun Ġat Most Once ( block : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġcalls In Place ( block , ĠInvocation Kind . AT _ MO ST _ ON CE ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġblock () Ċ } Ċ Ċ @ Suppress (" EXPERIMENT AL _ API _ USAGE _ ERROR ", Ġ" EXPERIMENT AL _ API _ USAGE _ F UT URE _ ERROR ") Ċ inline Ġfun Ġexactly Once ( block : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġcalls In Place ( block , ĠInvocation Kind . EX ACT LY _ ON CE ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġblock () Ċ } Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġvar Ġs : ĠString ? Ġ= Ġ<! VARIABLE _ WITH _ RED UND ANT _ INITIAL IZER !> null <! > ĊĠĠĠ Ġs Ġ= Ġ"" ĊĠĠĠ Ġat Least Once Ġ{ ĊĠĠĠĠĠĠĠ Ġ<! SM ART CAST _ IMP OSS IBLE !> s <! >. length Ġ// Ġun stable Ġsince Ġlambda Ġcan Ġbe Ġcalled Ġtwice ĊĠĠĠĠĠĠĠ Ġs Ġ= Ġnull ĊĠĠĠĠĠĠĠ Ġvar Ġs 2 : ĠString ? Ġ= Ġ<! VARIABLE _ WITH _ RED UND ANT _ INITIAL IZER !> null <! > ĊĠĠĠĠĠĠĠ Ġs 2 Ġ= Ġ"" ĊĠĠĠĠĠĠĠ Ġ<! DEBUG _ INFO _ SM ART CAST !> s 2 <! >. length Ġ// Ġlocal Ġvariable Ġdeclared Ġinside Ġlambda Ġis Ġstable ĊĠĠĠĠĠĠĠ Ġs 2 Ġ= Ġnull ĊĠĠĠ Ġ} ĊĠĠĠ Ġs Ġ= Ġ"" ĊĠĠĠ Ġexactly Once Ġ{ ĊĠĠĠĠĠĠĠ Ġ<! SM ART CAST _ IMP OSS IBLE !> s <! >. length Ġ// Ġstable Ġsince Ġlambda Ġcan Ġbe Ġcalled Ġonly Ġonce ĊĠĠĠĠĠĠĠ Ġs Ġ= Ġnull ĊĠĠĠĠĠĠĠ Ġvar Ġs 2 : ĠString ? Ġ= Ġ<! VARIABLE _ WITH _ RED UND ANT _ INITIAL IZER !> null <! > ĊĠĠĠĠĠĠĠ Ġs 2 Ġ= Ġ"" ĊĠĠĠĠĠĠĠ Ġ<! SM ART CAST _ IMP OSS IBLE !> s 2 <! >. length Ġ// Ġlocal Ġvariable Ġdeclared Ġinside Ġlambda Ġis Ġstable ĊĠĠĠĠĠĠĠ Ġs 2 Ġ= Ġnull ĊĠĠĠ Ġ} ĊĠĠĠ Ġs Ġ= Ġ"" ĊĠĠĠ Ġat Most Once Ġ{ ĊĠĠĠĠĠĠĠ Ġ<! SM ART CAST _ IMP OSS IBLE !> s <! >. length Ġ// Ġstable Ġsince Ġlambda Ġcan Ġbe Ġcalled Ġat Ġmost Ġonce ĊĠĠĠĠĠĠĠ Ġs Ġ= Ġnull ĊĠĠĠĠĠĠĠ Ġvar Ġs 2 : ĠString ? Ġ= Ġ<! VARIABLE _ WITH _ RED UND ANT _ INITIAL IZER !> null <! > ĊĠĠĠĠĠĠĠ Ġs 2 Ġ= Ġ"" ĊĠĠĠĠĠĠĠ Ġ<! SM ART CAST _ IMP OSS IBLE !> s 2 <! >. length Ġ// Ġlocal Ġvariable Ġdeclared Ġinside Ġlambda Ġis Ġstable ĊĠĠĠĠĠĠĠ Ġs 2 Ġ= Ġnull ĊĠĠĠ Ġ} Ċ } Ċ