Fix InvocationKind contract warnings

IntelliJ has started warning about these in K2 mode. Closes #106
michaelbull · Dec 22, 2024 · 4a0c7dd · 4a0c7dd
1 parent 9ca1092
commit 4a0c7dd
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/...utines/src/commonMain/kotlin/com/github/michaelbull/result/coroutines/CoroutineBinding.kt b/...utines/src/commonMain/kotlin/com/github/michaelbull/result/coroutines/CoroutineBinding.kt
@@ -41,7 +41,7 @@ import kotlin.contracts.contract
  */
 public suspend inline fun <V, E> coroutineBinding(crossinline block: suspend CoroutineBindingScope<E>.() -> V): Result<V, E> {
     contract {
-        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
+        callsInPlace(block, InvocationKind.AT_MOST_ONCE)
     }
 
     lateinit var receiver: CoroutineBindingScopeImpl<E>

diff --git a/...ines/src/commonMain/kotlin/com/github/michaelbull/result/coroutines/RunSuspendCatching.kt b/...ines/src/commonMain/kotlin/com/github/michaelbull/result/coroutines/RunSuspendCatching.kt
@@ -16,7 +16,7 @@ import kotlin.contracts.contract
  */
 public inline fun <V> runSuspendCatching(block: () -> V): Result<V, Throwable> {
     contract {
-        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
+        callsInPlace(block, InvocationKind.AT_MOST_ONCE)
     }
 
     return runCatching(block).throwIf {
@@ -33,7 +33,7 @@ public inline fun <V> runSuspendCatching(block: () -> V): Result<V, Throwable> {
  */
 public inline infix fun <T, V> T.runSuspendCatching(block: T.() -> V): Result<V, Throwable> {
     contract {
-        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
+        callsInPlace(block, InvocationKind.AT_MOST_ONCE)
     }
 
     return runCatching(block).throwIf {

diff --git a/kotlin-result/src/commonMain/kotlin/com/github/michaelbull/result/Binding.kt b/kotlin-result/src/commonMain/kotlin/com/github/michaelbull/result/Binding.kt
@@ -27,7 +27,7 @@ import kotlin.contracts.contract
  */
 public inline fun <V, E> binding(crossinline block: BindingScope<E>.() -> V): Result<V, E> {
     contract {
-        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
+        callsInPlace(block, InvocationKind.AT_MOST_ONCE)
     }
 
     return with(BindingScopeImpl<E>()) {

diff --git a/kotlin-result/src/commonMain/kotlin/com/github/michaelbull/result/Factory.kt b/kotlin-result/src/commonMain/kotlin/com/github/michaelbull/result/Factory.kt
@@ -10,7 +10,7 @@ import kotlin.contracts.contract
  */
 public inline fun <V> runCatching(block: () -> V): Result<V, Throwable> {
     contract {
-        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
+        callsInPlace(block, InvocationKind.AT_MOST_ONCE)
     }
 
     return try {
@@ -27,7 +27,7 @@ public inline fun <V> runCatching(block: () -> V): Result<V, Throwable> {
  */
 public inline infix fun <T, V> T.runCatching(block: T.() -> V): Result<V, Throwable> {
     contract {
-        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
+        callsInPlace(block, InvocationKind.AT_MOST_ONCE)
     }
 
     return try {