blob: 552ecf985360cdfc1473aaa747fdbf9e79c05370 [file]
// 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) {
// SOMETHING
kotlin.contracts.contract { callsInPlace(block, InvocationKind.EXACTLY_ONCE) }
block()
}