Bump to Checker Framework 3.43.0

[msridhar]

The previous bug that was preventing us from upgrading (typetools/checker-framework#6396) is fixed in this release. Benchmarks show no performance regression.

[msridhar]

/benchmark

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 86.12%. Comparing base (e26e194) to head (49333ad).

Additional details and impacted files

@@            Coverage Diff            @@
##             master     #959   +/-   ##
=========================================
  Coverage     86.12%   86.12%           
  Complexity     2040     2040           
=========================================
  Files            81       81           
  Lines          6708     6708           
  Branches       1293     1293           
=========================================
  Hits           5777     5777           
  Misses          518      518           
  Partials        413      413           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[github-actions]

Main Branch:

Benchmark                          Mode  Cnt   Score   Error  Units
AutodisposeBenchmark.compile      thrpt   25   9.258 ± 0.098  ops/s
CaffeineBenchmark.compile         thrpt   25   2.135 ± 0.019  ops/s
DFlowMicroBenchmark.compile       thrpt   25  24.858 ± 0.248  ops/s
NullawayReleaseBenchmark.compile  thrpt   25   1.278 ± 0.018  ops/s

With This PR:

Benchmark                          Mode  Cnt   Score   Error  Units
AutodisposeBenchmark.compile      thrpt   25   9.216 ± 0.068  ops/s
CaffeineBenchmark.compile         thrpt   25   2.131 ± 0.013  ops/s
DFlowMicroBenchmark.compile       thrpt   25  24.902 ± 0.259  ops/s
NullawayReleaseBenchmark.compile  thrpt   25   1.262 ± 0.028  ops/s