Do not emit restriction warning on inherited method #4293

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

Merged

stephan-herrmann merged 1 commit into eclipse-jdt:master from laeubi:do_not_emit_restriction_warning_on_inherited_methods

Oct 25, 2025

Merged

Do not emit restriction warning on inherited method #4293

Do not emit restriction warning on inherited method

Jenkins - Eclipse JDT / API Tools succeeded Oct 24, 2025 in 0s

No issues

Total	New	Outstanding	Fixed	Trend
0	0	0	0	👏

Reference build: eclipse.jdt.core-Github » master #866

Details

Severity distribution of all issues

Error	Warning High	Warning Normal	Warning Low
0	0	0	0

View more details on Jenkins - Eclipse JDT