Mikhail Glukhikh
42 lines
654 B
Kotlin
Vendored
42 lines
654 B
Kotlin
Vendored
// IGNORE_FIR_DIAGNOSTICS
|
|
// !OPT_IN: kotlin.contracts.ExperimentalContracts
|
|
// IGNORE_BACKEND: NATIVE
|
|
// FILE: 1.kt
|
|
package test
|
|
|
|
import kotlin.contracts.*
|
|
|
|
class A {
|
|
var res = "FAIL"
|
|
|
|
fun foo() {
|
|
bar {
|
|
res = "OK"
|
|
}
|
|
}
|
|
|
|
inline fun bar(crossinline not_exactly_once: () -> Unit) {
|
|
baz {
|
|
not_exactly_once()
|
|
}
|
|
}
|
|
}
|
|
|
|
inline fun baz(crossinline exactly_once: () -> Unit) {
|
|
contract {
|
|
callsInPlace(exactly_once, InvocationKind.EXACTLY_ONCE)
|
|
};
|
|
|
|
{ exactly_once() }()
|
|
}
|
|
|
|
// FILE: 2.kt
|
|
|
|
import test.*
|
|
|
|
fun box(): String {
|
|
val a = A()
|
|
a.foo()
|
|
return a.res
|
|
}
|