Bump org.checkerframework:checker-qual from 3.52.1 to 4.2.0

[dependabot]

Bumps org.checkerframework:checker-qual from 3.52.1 to 4.2.0.

Release notes

Sourced from org.checkerframework:checker-qual's releases.

Checker Framework 4.2.0

Version 4.2.0 (2026-06-01)

User-visible changes

Renamed error message key "createsmustcallfor.target.unparseable" to "createsmustcallfor.target.unparsable".

Implementation details

In AnnotatedTypeFactory:

• new overload canonicalAnnotation(AnnotationMirror, TypeMirror).

In TypeHierarchy:

• new methods equalsShallowEffective().

Closed issues

#7676, #7679, #7680, #7695, #7697, #7699, #7700, #7727.

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Release 4.0.0 of the Checker Framework

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

... (truncated)

Changelog

Sourced from org.checkerframework:checker-qual's changelog.

Version 4.2.0 (2026-06-01)

User-visible changes

Renamed error message key "createsmustcallfor.target.unparseable" to "createsmustcallfor.target.unparsable".

Implementation details

In AnnotatedTypeFactory:

• new overload canonicalAnnotation(AnnotationMirror, TypeMirror).

In TypeHierarchy:

• new methods equalsShallowEffective().

Closed issues

#7676, #7679, #7680, #7695, #7697, #7699, #7700, #7727.

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

... (truncated)

Commits

• 231e855 new release 4.2.0
• e59f66f Prep for release.
• bcc021f Fix problem with type var in a method reference (#7729)
• 91392e5 Use gradle-git-properties version 4
• cdae258 Increase constraint limit (#7752)
• dbb553d Fix check of receiver override (#7746)
• 264c73d Fix "unneeded.suppression" warning (#7747)
• d118b89 New methods equalsShallowEffective() (#7745)
• a916913 Simplify logic (#7744)
• 227974f Update plugin com-gradleup-shadow to v9.4.2 (#7749)
• Additional commits viewable in compare view

Note
Automatic rebases have been disabled on this pull request as it has been open for over 30 days.

[coderabbitai]

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

---

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[Brutus5000]

@dependabot rebase