typetools/checker-framework checker-framework-3.34.0 on GitHub

Version 3.34.0 (May 2, 2023)

User-visible changes:

The Checker Framework runs under JDK 20 -- that is, it runs on a version 20 JVM.

Explicit lambda parameters are defaulted the same as method parameters. For example, in (String s) -> {...} the type of s is @NonNull String.

Implementation details:

Renamings in AnnotatedTypeFactory:

prepareCompilationUnitForWriting() => wpiPrepareCompilationUnitForWriting()
prepareClassForWriting() => wpiPrepareClassForWriting()
prepareMethodForWriting() => wpiPrepareMethodForWriting() and changed its signature by adding two formal parameters

Closed issues:
#803, #5739, #5749, #5767, #5781, #5787.