[Patterns] Document on exhaustiveness, unconditionality and remainder

[Gavin Bierman]

[for some reason this didn’t get sent - retry]

Dear all,

We have had a number of questions about the design philosophy of the exhaustiveness checking in pattern switch. Brian and I have written a short note spelling out the connection between the properties of unconditionality, exhaustiveness and remainder.

We hope this helps,

Gavin & Brian

https://openjdk.org/projects/amber/design-notes/patterns/exhaustiveness
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20230523/e918d5ff/attachment.htm>