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
