Got rid of more Kotlin type warnings

jqwik-team · Jun 10, 2024 · 3db8e5f · 3db8e5f
1 parent af874dc
commit 3db8e5f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/kotlin/src/main/kotlin/net/jqwik/kotlin/api/SequenceArbitrary.kt b/kotlin/src/main/kotlin/net/jqwik/kotlin/api/SequenceArbitrary.kt
@@ -21,7 +21,7 @@ class SequenceArbitrary<T>(elementArbitrary: Arbitrary<T>) : ArbitraryDecorator<
     private var listArbitrary: ListArbitrary<T>
 
     init {
-        this.listArbitrary = elementArbitrary.list()
+        this.listArbitrary = elementArbitrary.list() as ListArbitrary<T>
     }
 
     override fun arbitrary(): Arbitrary<Sequence<T>> {

diff --git a/kotlin/src/main/kotlin/net/jqwik/kotlin/api/StringArbitraryExtensions.kt b/kotlin/src/main/kotlin/net/jqwik/kotlin/api/StringArbitraryExtensions.kt
@@ -7,4 +7,4 @@ import org.apiguardian.api.API
  * Set the minimum and maximum allowed length of generated strings.
  */
 @API(status = API.Status.EXPERIMENTAL, since = "1.6.0")
-fun StringArbitrary.ofLength(range: IntRange) = ofMinLength(range.first).ofMaxLength(range.last)
+fun StringArbitrary.ofLength(range: IntRange): StringArbitrary = ofMinLength(range.first).ofMaxLength(range.last)