compiler/testData/codegen/box/contracts/destructuredVariable.kt

// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE, JS
// WITH_RUNTIME
// KJS_WITH_FULL_RUNTIME

import kotlin.contracts.*

fun runOnce(action: () -> Unit) {
    contract {
        callsInPlace(action, InvocationKind.EXACTLY_ONCE)
    }
    action()
}

fun ok(): String {
    val res: String
    val (o, _) = "OK" to "FAIL"
    runOnce {
        res = o
    }
    return res
}

fun box(): String {
    return ok()
}