On the last case being explicitly total

[Guy Steele]

> On Aug 11, 2020, at 6:12 PM, Brian Goetz <brian.goetz at oracle.com> wrote:
> 
> . . . I might be talked into _allowing_ you to say `final case` (or `finally <pattern>`) as a way to force the totality type checking, and make the totality clear.
> 
> But, if that's what we're talking about, I'd prefer to keep that on the shelf as an option, rather than preemptively plunk for it now. We can always add it later compatibly, and I'm still not convinced this is remotely as big a problem as you think it is.  We knew back from the switch expression days that we might want to come back for a "check me for exhaustiveness please" option, and we still might.

I agree that the important thing for now is to have some kind of plan, but it need not be implemented right away.