<div dir="ltr"><div class="gmail_default" style="font-family:monospace">Hello Amber Dev Team,</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">I read Brian Goetz's "Case Effect on Switch" (looks like it recently got renamed to "Uniform handling of failure in switch"), and I have a quick question.</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">I think it's cool to bring error handling into switch, but will we still get the exhaustiveness/totality on checked exceptions that we are used to on the try catch side?</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">I feel like it would be weird and unintuitive if it didn't, since switch expressions already give us exhaustiveness/totality, and that's basically the biggest reason to use a switch expression in the first place. Leaving it out for exceptions would just feel mean. Plus, having this feature would really help with clarifying intent and with readability.</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">Thank you for your time and help!</div><div class="gmail_default" style="font-family:monospace">David Alayachew<br></div></div>