blob: 8bdd2bd00da1efc8da8cf2c4d3f9103ac60c40f4 [file]
import kotlin.contracts.InvocationKind
inline fun foo(block: () -> Unit) {
kotlin.contracts.contract {
<expr>callsInPlace</expr>(block, InvocationKind.EXACTLY_ONCE)
}
block()
}