[JEP 440] Question regarding removing support for record patterns appearing in the header of an enhanced for statement

[Spaendonck, Flip van]

Dear Amber Expert Group member,

I am a PhD candidate at Eindhoven University of Technology doing research into formally proving the correctness of automated restructurings of large legacy codebases.
The features that have come with JDK21 have been very useful when it comes to quickly delivering robust code, especially JEP 440 and its sibling JEP 441.
However, in JEP 440, it is noted that “the main change since the second preview is to remove support for record patterns appearing in the header of an enhanced for statement.”. I have tried my best to find the rationale behind this decision, but I can not find any comments on this on the internet, nor am I able to come up with a convincing argument, besides time/labor constraints, myself.
I certainly do not intend to start an argument on this decision, I am just hoping that perhaps one of the expert group members could give some explanation as to why it was decided to drop this feature.

With kind regards,

Flip van Spaendonck
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-spec-comments/attachments/20231122/a08f3274/attachment-0001.htm>