On Wed, 27 Nov 2024 10:12:56 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
> Something like this, yeah, if this is deemed useful Or, if code is skipped, should we also skip code attributes? For the records, I'm fine for these issues to be tackled also in separate PRs. ------------- PR Comment: https://git.openjdk.org/jdk/pull/22359#issuecomment-2503472423
