Skip to content

Update jdk-21 from typetools/jdk up to the Checker Framework 3.55.0 release - #166

Merged
wmdietl merged 3 commits into
jdk-21from
jdk-21-typetools-3.55.0
Oct 6, 2026
Merged

wmdietl merged 3 commits into
jdk-21from
jdk-21-typetools-3.55.0

Conversation

@wmdietl

@wmdietl wmdietl commented Oct 4, 2026

Copy link
Copy Markdown
Member

The jdk-21 counterpart of the master-line PR for typetools 3.55.0: the Pattern commit as an empty commit (this branch has @PolyRegex), and the qualifier files aligned with the Checker Framework for the JDK consistency check. Merge together with eisop/checker-framework#2218.

mernst and others added 3 commits October 4, 2026 19:06
The JDK consistency check requires identical qualifier files.

Co-Authored-By: Claude Sonnet 5.5 <[email protected]>
…ntains

The cherry-pick of typetools/jdk ef188caeb09 conflicted with this branch's
@PolyRegex annotations, which are the stronger form; keep them.

Co-Authored-By: Claude Sonnet 5.5 <[email protected]>
Copilot AI balanced review requested due to automatic review settings October 4, 2026 23:14

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@wmdietl
wmdietl merged commit f7f99db into jdk-21 Oct 6, 2026
30 of 32 checks passed
@wmdietl
wmdietl deleted the jdk-21-typetools-3.55.0 branch October 6, 2026 18:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants