analysis/low-level-api-fir/testData/inBlockModification/contract.kt

import kotlin.contracts.InvocationKind

inline fun foo(block: () -> Unit) {
    kotlin.contracts.contract {
        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
    }

    <expr>block()</expr>
}