refactor(#31): update NotEmptyCollection.size property

kotools · Mar 14, 2023 · f0e931c · f0e931c
1 parent a5b4e10
commit f0e931c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/commonMain/kotlin/kotools/types/collection/NotEmptyCollection.kt b/src/commonMain/kotlin/kotools/types/collection/NotEmptyCollection.kt
@@ -16,8 +16,7 @@ public sealed interface NotEmptyCollection<out E> {
 
     /** The size of this collection. */
     public val size: StrictlyPositiveInt
-        get() = tail.sizeOrZero.toInt()
-            .plus(1)
+        get() = tail.sizeOrZero.plus(1)
             .toStrictlyPositiveInt()
             .getOrThrow()