// WITH_STDLIB
// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE_K1
import java.lang.IllegalStateException
import kotlin.contracts.ExperimentalContracts
import kotlin.contracts.InvocationKind
import kotlin.contracts.contract

@OptIn(ExperimentalContracts::class)
fun Boolean.referenceReceiverInContract() {
    contr<caret>act {
        returns() implies this@referenceReceiverInContract
    }
    if (!this) throw IllegalStateException()
}
