Nikita Bobko
b2397f033b
Review: https://jetbrains.team/p/kt/reviews/7652 I need this API for KTIJ-22692
16 lines
478 B
Kotlin
Vendored
16 lines
478 B
Kotlin
Vendored
// WITH_STDLIB
|
|
// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE_K1
|
|
import kotlin.contracts.ExperimentalContracts
|
|
import kotlin.contracts.InvocationKind
|
|
import kotlin.contracts.contract
|
|
|
|
@OptIn(ExperimentalContracts::class)
|
|
fun twoContracts(foo: Any?, bar: Any?, block: () -> Unit): Boolean {
|
|
contr<caret>act {
|
|
returns(true) implies (foo == null && bar != null)
|
|
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
|
|
}
|
|
block()
|
|
return foo == null && bar != null
|
|
}
|