
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


</head>


<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">


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


<div><br>


</div>


<div>Dear all,</div>


<div><br>


</div>


<div>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. </div>


<div><br>


</div>


<div>We hope this helps,</div>


<div><br>


</div>


<div>Gavin & Brian</div>


<div><br>


</div>


<div><a href="https://openjdk.org/projects/amber/design-notes/patterns/exhaustiveness">https://openjdk.org/projects/amber/design-notes/patterns/exhaustiveness</a></div>


</body>


</html>