From e599a366c132de0de96c8afa959884368edb3d94 Mon Sep 17 00:00:00 2001 From: Jibidus Date: Sun, 3 Mar 2024 08:58:00 +0100 Subject: [PATCH] Add missing @API annotation on anyForSubtypeOf() --- kotlin/src/main/kotlin/net/jqwik/kotlin/api/JqwikGlobals.kt | 1 + 1 file changed, 1 insertion(+) diff --git a/kotlin/src/main/kotlin/net/jqwik/kotlin/api/JqwikGlobals.kt b/kotlin/src/main/kotlin/net/jqwik/kotlin/api/JqwikGlobals.kt index 257df3240..a375f2ad0 100644 --- a/kotlin/src/main/kotlin/net/jqwik/kotlin/api/JqwikGlobals.kt +++ b/kotlin/src/main/kotlin/net/jqwik/kotlin/api/JqwikGlobals.kt @@ -119,6 +119,7 @@ inline fun anyForType(): TypeArbitrary * ``` * @param enableArbitraryRecursion is applied to all created [TypeArbitrary]. */ +@API(status = API.Status.EXPERIMENTAL, since = "1.8.4") inline fun anyForSubtypeOf( enableArbitraryRecursion: Boolean = false, crossinline subtypeScope: SubtypeScope.() -> Unit = {}