remove jsr-305

jqwik-team · May 27, 2024 · b9e74a6 · b9e74a6
1 parent cd32cb1
commit b9e74a6
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 7 deletions.
diff --git 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
@@ -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
@@ -57,7 +57,6 @@ tasks.withType<Test>().configureEach {
 tasks.withType<KotlinCompile> {
     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
@@ -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