blob: f90a91c56e0e77799b61d9de2527d8ba6c496005 [file]
// MODULE: original
import kotlin.contracts.ExperimentalContracts
import kotlin.contracts.InvocationKind
class A(val x: Int) {
}
// MODULE: copy
import kotlin.contracts.ExperimentalContracts
import kotlin.contracts.InvocationKind
class A(val x: Int) {
@OptIn(ExperimentalContracts::class)
constructor(block: () -> Unit) : this(5) {
kotlin.contracts.contract { callsInPlace(block, InvocationKind.AT_MOST_ONCE) }
block()
println("hello")
}
}