Switch labels (null again), some tweaking

[Maurizio Cimadamore]

On 29/04/2021 15:46, Brian Goetz wrote:
> I don't think we want the compiler generating tons of code just so 
> each remainder can get a different exception; more likely, the 
> compiler will want to generate some sort of "default: 
> throwSomethingSimple" clause. 

Yeah - that's my understanding, as far as code generation goes.

I guess an interesting question, for when we generate better error 
messages to show remainder, would be how to "spell" (e.g. in the 
diagnostic) those remainders associated with not-yet known types.

But that's a question for another day.

Maurizio