typetools/checker-framework checker-framework-3.47.0

Checker Framework 3.47.0

on GitHub

Version 3.47.0 (September 3, 2024)

User-visible changes:

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

The Optional Checker no longer supports the @OptionalBottom annotation.

Implementation details:

Removed annotations:

• @OptionalBottom

Closed issues:

#6510, #6704, #6743, #6749, #6760, #6761.