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

[Maurizio Cimadamore]

On Fri, 6 Sep 2024 08:35:32 GMT, Mourad Abbay <mabbay at openjdk.org> wrote:

>> Model the default label of switch as a body that yield true, this makes the modeling consistent for all labels.
>
> Mourad Abbay has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Fix NullTest

src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ReflectMethods.java line 1671:

> 1669: 
> 1670:             Body.Builder body = null;
> 1671:             Type yieldType = tree.type != null ? adaptBottom(tree.type) : null;

Why the change here?

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

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