analysis/analysis-api/testData/danglingFileResolutionModeProvider/addedFunctionContract.kt

// MODULE: original
import kotlin.contracts.ExperimentalContracts
import kotlin.contracts.InvocationKind

@OptIn(ExperimentalContracts::class)
inline fun foo(block: () -> Unit) {
    block()
}

// MODULE: copy
import kotlin.contracts.ExperimentalContracts
import kotlin.contracts.InvocationKind

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