// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ VARIABLE Ġ- UNUSED _ PARAMETER Ġ- UN RE ACH ABLE _ CODE Ġ- UNUSED _ EXPRESSION Ċ // Ġ! USE _ EXPERIMENT AL : Ġkotlin . contracts . Experimental Contracts Ċ Ċ /* Ċ ĠK OT LIN ĠDI AG NO ST ICS ĠNOT ĠLINK ED ĠSPEC ĠTEST Ġ( NEGATIVE ) ĊĊ ĠSECTION : Ġcontracts Ċ ĠC ATEG ORIES : Ġdeclarations , Ġcontract Builder , Ġcommon Ċ ĠNUMBER : Ġ 1 Ċ ĠDESCRIPTION : ĠContract Ġisn 't Ġfirst Ġstatement . Ċ Ġ*/ Ċ Ċ import Ġkotlin . contracts .* Ċ Ċ inline Ġfun Ġcase _ 1 ( block : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġval Ġvalue _ 1 Ġ= Ġ 1 ĊĠĠĠ Ġ<! CONTRACT _ NOT _ ALLOWED !> contract <! > Ġ{ Ġ} ĊĠĠĠ Ġreturn Ġblock () Ċ } Ċ Ċ inline Ġfun Ġcase _ 2 ( block : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠĠ 1 0 Ġ- Ġ 1 ĊĠĠĠ Ġ<! CONTRACT _ NOT _ ALLOWED !> contract <! > Ġ{ ĊĠĠĠĠĠĠĠ Ġcalls In Place ( block , ĠInvocation Kind . EX ACT LY _ ON CE ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġblock () Ċ } Ċ Ċ inline Ġfun Ġcase _ 3 ( block : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġthrow ĠException () ĊĠĠĠ Ġ<! CONTRACT _ NOT _ ALLOWED !> contract <! > Ġ{ ĊĠĠĠĠĠĠĠ Ġcalls In Place ( block , ĠInvocation Kind . UNKNOWN ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġblock () Ċ } Ċ Ċ // ĠÑįÑĤÐ¾ ĠÐ² ĠÐ½ ÐµÐ³ Ð°ÑĤ Ð¸Ð² Ð½ÑĭÐµ , Ċ inline Ġfun Ġcase _ 4 ( block : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġ. 0 0 0 9 ĊĠĠĠ Ġreturn Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġcalls In Place ( block , ĠInvocation Kind . EX ACT LY _ ON CE ) ĊĠĠĠ Ġ} Ċ } Ċ