// Ġ! USE _ EXPERIMENT AL : Ġkotlin . contracts . Experimental Contracts Ċ Ċ // ĠFILE : Ġbuilder . kt Ċ Ċ package Ġbuilder Ċ Ċ import Ġkotlin . contracts .* Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 1 , Ġ 2 Ċ inline Ġfun Ġcontract Builder ( block : Ġ() Ġ-> ĠUnit ): ĠContract Builder . () Ġ-> ĠUnit Ġ= Ġ{ ĊĠĠĠ Ġcalls In Place ( block , ĠInvocation Kind . EX ACT LY _ ON CE ) Ċ } Ċ Ċ // ĠFILE : Ġmain . kt Ċ Ċ import Ġbuilder .* Ċ import Ġkotlin . contracts .* Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 1 Ċ inline Ġfun Ġcase _ 1 ( block : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġcontract ( contract Builder ( block )) ĊĠĠĠ Ġreturn Ġblock () Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 2 Ċ inline Ġfun Ġcase _ 2 ( block : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġcontract ( builder Ġ= Ġcontract Builder ( block )) ĊĠĠĠ Ġreturn Ġblock () Ċ } Ċ