On Thu, 27 Jun 2024 19:07:07 GMT, ExE Boss <d...@openjdk.org> wrote: > Since `labels` is no longer eagerly cloned, it’s important to store the > converted labels into a local array to avoid leaking them to user code.
True. But it is easier and cleaner, IMO, to simply put back cloning of the labels. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19906#issuecomment-2195515947
