Is_there_any_way_to_do_something_like_this_with_cu...

# announcements

[Can]

Is_there_any_way_to_do_something_like_this_with_current_state_of_contracts_.txt

Is_there_any_way_to_do_something_like_this_with_current_state_of_contracts_.txt

[dmitriy.novozhilov]

what you want to describe with that contract?
if you need to tell compiler that block is called only in some cases, you can just write callsInPlace(block, InvocationKind.AT_MOST_ONCE)

[Stephan Schroeder]

maybe helpful: https://blog.kotlin-academy.com/understanding-kotlin-contracts-f255ded41ef2