Downgrade to Checker Framework 3.40.0

[msridhar]

This fixes a regression where we were seeing a crash in CFG construction. Reported upstream as typetools/checker-framework#6396.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (9ff44a7) 86.95% compared to head (65498bd) 86.95%.

Additional details and impacted files

@@            Coverage Diff            @@
##             master     #895   +/-   ##
=========================================
  Coverage     86.95%   86.95%           
  Complexity     1953     1953           
=========================================
  Files            77       77           
  Lines          6315     6315           
  Branches       1222     1222           
=========================================
  Hits           5491     5491           
  Misses          420      420           
  Partials        404      404           

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

[msridhar]

/benchmark

[github-actions]

Main Branch:

Benchmark                          Mode  Cnt   Score   Error  Units
AutodisposeBenchmark.compile      thrpt   25   9.215 ± 0.070  ops/s
CaffeineBenchmark.compile         thrpt   25   2.108 ± 0.008  ops/s
DFlowMicroBenchmark.compile       thrpt   25  24.998 ± 0.419  ops/s
NullawayReleaseBenchmark.compile  thrpt   25   1.289 ± 0.016  ops/s

With This PR:

Benchmark                          Mode  Cnt   Score   Error  Units
AutodisposeBenchmark.compile      thrpt   25   9.336 ± 0.062  ops/s
CaffeineBenchmark.compile         thrpt   25   2.151 ± 0.020  ops/s
DFlowMicroBenchmark.compile       thrpt   25  25.081 ± 0.299  ops/s
NullawayReleaseBenchmark.compile  thrpt   25   1.295 ± 0.019  ops/s

[yuxincs]

Great find and really appreciate the extra test case! Hopefully upstream can fix this soon.