On Mon, 30 Sep 2024 14:21:56 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
>I don't think anything else is needed here. Besides the fact that it shouldn't run, but it does (all 4 examples does) ------------- PR Comment: https://git.openjdk.org/jdk/pull/21041#issuecomment-2383388238
