Next up for patterns: type patterns in switch

[Guy Steele]

> On Aug 11, 2020, at 6:43 PM, Brian Goetz <brian.goetz at oracle.com> wrote:
> 
> Let's assume that your trick works fine, Remi is happy, and `default P` means that P is total, that the switch is total, everything.  Great.  

Yes, if people will stand for it, “default P” is certainly an improvement over “default case P”, and a better word choice than “finally”.  And it avoids the ticklish one-colon difference to which I had alluded.

—Guy

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20200811/e137dad7/attachment.htm>