We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
There is no behavior or state that RecordPattern inherits from TypePattern that cannot be hoisted upto Pattern the grand parent class.
RecordPattern
TypePattern
Pattern
In fact it inherits state that has no relevance (e.g: local) that results in dead code at various places.
local
It would be cleaner to rewire RecordPattern to extend Pattern
The text was updated successfully, but these errors were encountered:
* Rewire RecordPattern to extend Pattern rather than TypePattern
4538cfb
* Fixes eclipse-jdt#2043
55da231
ca70935
724a0a2
bc411df
e467427
srikanth-sankaran
Successfully merging a pull request may close this issue.
There is no behavior or state that
RecordPattern
inherits fromTypePattern
that cannot be hoisted uptoPattern
the grand parent class.In fact it inherits state that has no relevance (e.g:
local
) that results in dead code at various places.It would be cleaner to rewire
RecordPattern
to extendPattern
The text was updated successfully, but these errors were encountered: