Are the members of a CodeModel.elementList() unique? Specifically, is it safe to use a CodeElement as the key value in a Map? Thank you, Mark -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/classfile-api-dev/attachments/20250507/7c56f356/attachment.htm>