From b9e74a64258f6f5e8d9f4b78efd83c18788eecf8 Mon Sep 17 00:00:00 2001 From: Gokul Srinivas Date: Mon, 27 May 2024 13:34:15 +0200 Subject: [PATCH] remove jsr-305 --- TODO.md | 1 - documentation/build.gradle | 2 -- documentation/src/docs/include/kotlin-module.md | 1 - kotlin/build.gradle | 4 +--- 4 files changed, 1 insertion(+), 7 deletions(-) diff --git a/TODO.md b/TODO.md index 9dffa6454..6b9e71b8b 100644 --- a/TODO.md +++ b/TODO.md @@ -5,7 +5,6 @@ as preparation for Gradle 9 - Upgrade to Kotlin 2.0 - - Replace jsr305 with jspecify - Fix type problems from K2 compiler - Summon preconfigured arbitrary. See https://github.com/jqwik-team/jqwik/issues/527 diff --git a/documentation/build.gradle b/documentation/build.gradle index 332400c19..6dfc2e0d4 100644 --- a/documentation/build.gradle +++ b/documentation/build.gradle @@ -131,8 +131,6 @@ test { tasks.withType(org.jetbrains.kotlin.gradle.tasks.KotlinCompile).configureEach { kotlinOptions.freeCompilerArgs = [ - // "-Xjsr305=strict", // For strict type warnings - // "-Xjsr305=under-migration:strict", "-Xemit-jvm-type-annotations" // Required for annotations on type variables ] kotlinOptions.jvmTarget = "${javaTargetVersion}" diff --git a/documentation/src/docs/include/kotlin-module.md b/documentation/src/docs/include/kotlin-module.md index b5f4f2eeb..649d884d9 100644 --- a/documentation/src/docs/include/kotlin-module.md +++ b/documentation/src/docs/include/kotlin-module.md @@ -57,7 +57,6 @@ tasks.withType().configureEach { tasks.withType { kotlinOptions { freeCompilerArgs = listOf( - //"-Xjsr305=strict", // For strict type warnings "-Xemit-jvm-type-annotations" // Required for annotations on type variables ) jvmTarget = "11" // 1.8 or above diff --git a/kotlin/build.gradle b/kotlin/build.gradle index de0ae1ce0..9d39b9674 100644 --- a/kotlin/build.gradle +++ b/kotlin/build.gradle @@ -73,9 +73,7 @@ signing { tasks.withType(org.jetbrains.kotlin.gradle.tasks.KotlinCompile).configureEach { kotlinOptions.freeCompilerArgs = [ -// "-Xjsr305=strict", // For strict type warnings -// "-Xjsr305=under-migration:strict", // @UnderMigration not used in jqwik -"-Xemit-jvm-type-annotations" // Required for annotations on type variables + "-Xemit-jvm-type-annotations" // Required for annotations on type variables ] kotlinOptions.jvmTarget = "${javaTargetVersion}" kotlinOptions.javaParameters = true // Required to get correct parameter names in reporting