@kotlin.OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
fun kotlin.Boolean.referenceReceiverInContract()