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

// MODULE: original
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()
}

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

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