Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update to Checker Framework 3.22.2 (#610)
Needed for our changes in #608, which requires visibility into some previously `package` or `private` level internals of Checker Framework's CFG: - typetools/checker-framework#5152 - typetools/checker-framework#5156
- Loading branch information