From 3db8e5f2f970af092eb4a8faddd31ddacef198e3 Mon Sep 17 00:00:00 2001 From: Johannes Link Date: Mon, 10 Jun 2024 14:43:14 +0200 Subject: [PATCH] Got rid of more Kotlin type warnings --- .../src/main/kotlin/net/jqwik/kotlin/api/SequenceArbitrary.kt | 2 +- .../kotlin/net/jqwik/kotlin/api/StringArbitraryExtensions.kt | 2 +- 2 files changed, 2 insertions(+), 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 index 31d1abe87..80172f7cc 100644 --- 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(elementArbitrary: Arbitrary) : ArbitraryDecorator< private var listArbitrary: ListArbitrary init { - this.listArbitrary = elementArbitrary.list() + this.listArbitrary = elementArbitrary.list() as ListArbitrary } override fun arbitrary(): Arbitrary> { diff --git a/kotlin/src/main/kotlin/net/jqwik/kotlin/api/StringArbitraryExtensions.kt b/kotlin/src/main/kotlin/net/jqwik/kotlin/api/StringArbitraryExtensions.kt index 2c5ceb4c7..61ebeb101 100644 --- 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) \ No newline at end of file +fun StringArbitrary.ofLength(range: IntRange): StringArbitrary = ofMinLength(range.first).ofMaxLength(range.last) \ No newline at end of file