Remove erroneous contract from ensureNotNullOrAccumulate

arrow-kt · Nov 15, 2024 · 3279876 · 3279876
1 parent b490817
commit 3279876
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/RaiseAccumulate.kt b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/RaiseAccumulate.kt
@@ -828,7 +828,6 @@ public open class RaiseAccumulate<Error>(
 
   @ExperimentalRaiseAccumulateApi
   public fun <B: Any> ensureNotNullOrAccumulate(value: B?, raise: () -> Error) {
-    contract { returns() implies (value != null) }
     ensureOrAccumulate(value != null, raise)
   }