Bump org.checkerframework:checker-qual from 4.1.0 to 4.2.3

[dependabot]

Bumps org.checkerframework:checker-qual from 4.1.0 to 4.2.3.

Release notes

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

Checker Framework 4.2.3

Version 4.2.3 (2026-09-01)

User-visible changes

The -AsuggestPureMethods command-line option and the purity.effectively.pure warning no longer require -AcheckPurityAnnotations to also be supplied.

Implementation details

Made the field Java8InferenceContext.pathToExpression private; use getPathToExpression() and setPathToExpression() instead.

Renamed TreeUtils.isLikeDiamondMemberReference() to isRawTypedMemberReference().

Closed issues

#2816, #7677, #7678, #7681, #7682, #7684, #7693, #7694, #7696, #7698, #7701, #7702, #7875, #8046, #8047, #8048, #8050, #8052.

Checker Framework 4.2.2

Version 4.2.2 (2026-08-06)

Implementation details

Renamed CFAbstractValue.validateSet() to hasAnnotationFromEveryHierarchy().

Closed issues

#7723, #7784, #7806.

Checker Framework 4.2.1

Version 4.2.1 (2026-07-01)

Closed issues

#7726.

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:

... (truncated)

Changelog

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

Version 4.2.3 (2026-09-01)

User-visible changes

The -AsuggestPureMethods command-line option and the purity.effectively.pure warning no longer require -AcheckPurityAnnotations to also be supplied.

Changes for type system implementers

Made the field Java8InferenceContext.pathToExpression private; use getPathToExpression() and setPathToExpression() instead.

Renamed TreeUtils.isLikeDiamondMemberReference() to isRawTypedMemberReference().

Closed issues

#2816, #7677, #7678, #7681, #7682, #7684, #7693, #7694, #7696, #7698, #7701, #7702, #7875, #8046, #8047, #8048, #8050, #8052.

Version 4.2.2 (2026-08-06)

Implementation details

Renamed CFAbstractValue.validateSet() to hasAnnotationFromEveryHierarchy().

Closed issues

#7723, #7784, #7806.

Version 4.2.1 (2026-07-01)

Closed issues

#7726.

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 method equalsShallowEffective().

... (truncated)

Commits

• ddd330d new release 4.2.3
• d44c55a Increase the timeout.
• d07e6ce Fix links.
• 0af4fa2 Prep for release.
• 455d690 Infer the type arguments of ReferenceType::Identifier where ReferenceType...
• 81173f8 Add javac equivalent class for AnnotationEqualityVisitor (#7692)
• 81b9930 AFU Javadoc
• ac24b72 Add ci_info jobs, simplify misc jobs
• d27d6b4 Clear SubtypeVisitHistory after each outermost isSubtype call (#8064)
• 3180cc2 Update actions/setup-java action to v6
• 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)