From 5d3e2642f3a1cc32524aefe01bd445a2a21cc06e Mon Sep 17 00:00:00 2001
From: Manu Sridharan <msridhar@gmail.com>
Date: Mon, 20 May 2024 12:12:49 -0700
Subject: [PATCH] Bump to Checker Framework 3.43.0 (#959)

The previous bug that was preventing us from upgrading
(https://github.com/typetools/checker-framework/issues/6396) is fixed in
this release. Benchmarks show no performance regression.
---
 gradle/dependencies.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gradle/dependencies.gradle b/gradle/dependencies.gradle
index 54a5e3ef8f..e280f90875 100755
--- a/gradle/dependencies.gradle
+++ b/gradle/dependencies.gradle
@@ -40,7 +40,7 @@ if (project.hasProperty("epApiVersion")) {
 
 def versions = [
     asm                    : "9.3",
-    checkerFramework       : "3.40.0",
+    checkerFramework       : "3.43.0",
     // for comparisons in other parts of the build
     errorProneLatest       : latestErrorProneVersion,
     // The version of Error Prone used to check NullAway's code.