Update to Checker Framework 3.41.0

[msridhar]

Just to stay up to date. Benchmarking results show no overhead regression, and possibly a very slight improvement.

[msridhar]

/benchmark

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (1140a81) 87.04% compared to head (51dc615) 87.04%.

Additional details and impacted files

@@            Coverage Diff            @@
##             master     #873   +/-   ##
=========================================
  Coverage     87.04%   87.04%           
  Complexity     1922     1922           
=========================================
  Files            77       77           
  Lines          6221     6221           
  Branches       1208     1208           
=========================================
  Hits           5415     5415           
+ Misses          404      403    -1     
- Partials        402      403    +1     

☔ 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.184 ± 0.067  ops/s
CaffeineBenchmark.compile         thrpt   25   2.105 ± 0.020  ops/s
DFlowMicroBenchmark.compile       thrpt   25  24.384 ± 0.158  ops/s
NullawayReleaseBenchmark.compile  thrpt   25   1.261 ± 0.021  ops/s

With This PR:

Benchmark                          Mode  Cnt   Score   Error  Units
AutodisposeBenchmark.compile      thrpt   25   9.255 ± 0.080  ops/s
CaffeineBenchmark.compile         thrpt   25   2.113 ± 0.020  ops/s
DFlowMicroBenchmark.compile       thrpt   25  24.617 ± 0.140  ops/s
NullawayReleaseBenchmark.compile  thrpt   25   1.280 ± 0.018  ops/s

[yuxincs]

dependency upgrade LGTM!