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