From 8bf13d0f69c7f0768e6fffa92cc17e7818a9585f Mon Sep 17 00:00:00 2001
From: Andrew Golovashevich <landgrafhomyak@gmail.com>
Date: Wed, 13 Aug 2025 15:58:11 +0300
Subject: [PATCH] Missed contract in MayBeClosedReferenceCounter.withRef

---
 .../utility/reference_counter/MayBeClosedReferenceCounter.kt   | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/commonMain/kotlin/ru/landrafhomyak/utility/reference_counter/MayBeClosedReferenceCounter.kt b/src/commonMain/kotlin/ru/landrafhomyak/utility/reference_counter/MayBeClosedReferenceCounter.kt
index 01a5526..6771c9a 100644
--- a/src/commonMain/kotlin/ru/landrafhomyak/utility/reference_counter/MayBeClosedReferenceCounter.kt
+++ b/src/commonMain/kotlin/ru/landrafhomyak/utility/reference_counter/MayBeClosedReferenceCounter.kt
@@ -76,6 +76,9 @@ public sealed class MayBeClosedReferenceCounter {
 
 	@JvmName("withRef\$kt")
 	public inline fun <R> withRef(protected: () -> R): R {
+		contract {
+			callsInPlace(protected, InvocationKind.EXACTLY_ONCE)
+		}
 		this.incref()
 		return safeAutoClose1(finally = this::decref, action = protected)
 	}