Skip to content

Suppresses RLC non-final field overwrite warning for safe constructor field initialization #7050

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
iamsanjaymalakar wants to merge 139 commits into
base: master
Choose a base branch
from

Merge ../checker-framework-branch-master into 7049-dev

de5855a
Select commit
Loading
Failed to load commit list.
Open

Suppresses RLC non-final field overwrite warning for safe constructor field initialization #7050

Merge ../checker-framework-branch-master into 7049-dev
de5855a
Select commit
Loading
Failed to load commit list.
CircleCI Checks / build succeeded May 30, 2026 in 1h 1m 21s

Workflow: build

View CircleCI Workflow

View more details on CircleCI Checks