[code-reflection] RFR: Change the model of the default label of switch [v2]

[Mourad Abbay]

On Fri, 6 Sep 2024 16:37:06 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> I need to update `primitiveAndBoxTypeMap`
>
> Uhm - I see. `typeElementToType` only works for simple types - but in this case I believe the case body can return any type - e.g. with patterns you can switch on any reference type.

yes, switch expression can yield a result of any type.

-------------

PR Review Comment: https://git.openjdk.org/babylon/pull/223#discussion_r1747453643