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

Paul Sandoz psandoz at openjdk.org
Fri Sep 6 20:22:31 UTC 2024


On Fri, 6 Sep 2024 17:03:41 GMT, Mourad Abbay <mabbay at openjdk.org> wrote:

>> 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.

I think the last PR unifying code on `ReflectMethods` introduce a regression causing failures in `NullTest`. This should should fix it.

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

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


More information about the babylon-dev mailing list