Re: On the last case being explicitly total

[Guy Steele]

> On Aug 11, 2020, at 6:12 PM, Brian Goetz <brian.go...@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.