<div dir="ltr">JEP 433, 427, 420, 406 all have a word about 

parenthesized patterns. Maybe an example like in your [2] would have been more clear, but the existence and grammar of 

parenthesized patterns existent from the first preview</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Mar 18, 2023 at 5:59 AM David Alayachew <<a href="mailto:davidalayachew@gmail.com">davidalayachew@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">Hello Amber Dev Team,<div dir="auto"><br></div><div dir="auto">I am very excited for this feature. I think the new levels of exhaustiveness that this feature enables will remove a common source of bugs for me when I write code.</div><div dir="auto"><br></div><div dir="auto">Looking at the link, I am very happy to see that switch expressions will now play nicer with enums under a sealed type. This was a pain point for code I was writing a few months ago [1], so having this will streamline my development by a lot.</div><div dir="auto"><br></div><div dir="auto">I also very much like to see that parenthesized patterns are being removed, to be handled later. In general, I like the idea of simply deferring the uncommon edge cases to be dealt with in the future. Curious to see how it will be dealt with in the future.</div><div dir="auto"><br></div><div dir="auto">That said, could we add a short description of what parenthesized patterns are? Perhaps I missed a discussion on it, but I didn't even know that they existed until I saw this JEP back when it was a JEP Draft. And if not a description, maybe a link to some official Oracle documentation? This link [2] is how I figured out what parenthesized patterns are.</div><div dir="auto"><br></div><div dir="auto">Thank you all for your time and effort!</div><div dir="auto">David Alayachew</div><div dir="auto"><br></div><div dir="auto">[1] = <a href="https://mail.openjdk.org/pipermail/amber-dev/2022-October/007528.html" rel="noreferrer noreferrer" target="_blank">https://mail.openjdk.org/pipermail/amber-dev/2022-October/007528.html</a></div><div dir="auto"><br></div><div dir="auto">[2] = <a href="https://docs.oracle.com/en/java/javase/19/language/pattern-matching.html#GUID-3EEBECEA-D874-4B20-B46B-07ED6172881D" rel="noreferrer" target="_blank">https://docs.oracle.com/en/java/javase/19/language/pattern-matching.html#GUID-3EEBECEA-D874-4B20-B46B-07ED6172881D</a></div><div dir="auto"><br></div></div>
</blockquote></div><br clear="all"><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Holo The Wise Wolf Of Yoitsu</div></div>