Breaking change

Breaks some clients. Requires minor version number increase (middle number in the version number).

Pull requests that update a dependency file

False Negative (missing warning or unsoundness)

False Positive (false warning or imprecision)

good first issue

A beginner-friendly place to start contributing to the Checker Framework

JavaExpressions

QualifierFramework

No labels found. Sorry about that.