<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
The following was received on amber-spec-comments.
<div class=""><br class="">
</div>
<div class="">The answer is quite simple: we didn’t think that this sub-feature was ready. As we look ahead at pattern-related features to come, it is clear that there are interactions with several of them (especially imperative matching), and it made sense
to co-design those feature so as not to create a new constraint that those would have to be compatible with. <br class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">Begin forwarded message:</div>
<br class="Apple-interchange-newline">
<div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class="">
<span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">From:
</b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">"Spaendonck, Flip van" <<a href="mailto:p.h.m.v.spaendonck@tue.nl" class="">p.h.m.v.spaendonck@tue.nl</a>><br class="">
</span></div>
<div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class="">
<span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Subject:
</b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class=""><b class="">[JEP 440] Question regarding removing support for record patterns appearing in the header of an enhanced for statement</b><br class="">
</span></div>
<div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class="">
<span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Date:
</b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">November 22, 2023 at 5:40:49 AM EST<br class="">
</span></div>
<div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class="">
<span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">To:
</b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">"<a href="mailto:amber-spec-comments@openjdk.org" class="">amber-spec-comments@openjdk.org</a>" <<a href="mailto:amber-spec-comments@openjdk.org" class="">amber-spec-comments@openjdk.org</a>><br class="">
</span></div>
<br class="">
<div class="">
<div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">
<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
Dear Amber Expert Group member,<br class="">
<br class="">
<o:p class=""></o:p></div>
<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
I am a PhD candidate at Eindhoven University of Technology doing research into formally proving the correctness of automated restructurings of large legacy codebases.<br class="">
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.<br class="">
However, in JEP 440, it is noted that “<span lang="en-NL" style="font-size: 10pt; font-family: "DejaVu Sans", sans-serif;" class="">the main change since the second preview is to remove support for record patterns appearing in the header of an enhanced </span><code style="font-family: "Courier New";" class=""><span lang="en-NL" style="font-size: 10pt;" class="">for</span></code><span lang="en-NL" style="font-size: 10pt; font-family: "DejaVu Sans", sans-serif;" class=""> statement.</span><span style="font-size: 10pt; font-family: "DejaVu Sans", sans-serif;" class="">”.<span class="Apple-converted-space"> </span></span><span style="font-size: 10pt;" class="">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.<br class="">
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.<br class="">
<br class="">
With kind regards,<br class="">
<br class="">
Flip van Spaendonck</span></div>
</div>
</div>
</blockquote>
</div>
<br class="">
</div>
</body>
</html>