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

[dependabot]

Bumps org.checkerframework:checker-qual from 3.54.0 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

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)