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

Jump to bottom

Fix #13046: `override` is a valid identifier in Java, not a keyword #13048

Merged

smarter merged 1 commit into scala:master from griggt:fix-13046

Jul 11, 2021

Contributor

griggt commented Jul 11, 2021

https://docs.oracle.com/javase/specs/jls/se11/html/jls-3.html#jls-3.9

Fixes #13046


          override is a valid identifier in Java, not a keyword

9f346d3

smarter approved these changes

View reviewed changes

smarter enabled auto-merge

July 11, 2021 16:36

smarter merged commit a4eb717 into scala:master

griggt deleted the fix-13046 branch

July 11, 2021 17:33

Kordyjan added this to the 3.0.2 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet