Merge ../checker-framework-fork-mernst-branch-type-inference-8-review into type-inference-8-review-2-3

Author: mernst

gradle/libs.versions.toml

@@ -76,7 +76,7 @@ de-undercouch-download = { id = "de.undercouch.download", version = "5.7.0" }
 
 net-ltgt-errorprone = { id = "net.ltgt.errorprone", version = "5.1.0" }
 
-com-diffplug-spotless = { id = "com.diffplug.spotless", version = "8.8.0" }
+com-diffplug-spotless = { id = "com.diffplug.spotless", version = "8.9.0" }
 
 com-gorylenko-gradle-git-properties = { id = "com.gorylenko.gradle-git-properties", version = "4.0.1" }