<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
Oops apologies, I thought this was a Babylon code model question, please ignore!
<div><br>
</div>
<div>Paul.<br id="lineBreakAtBeginningOfMessage">
<div><br>
<blockquote type="cite">
<div>On May 7, 2025, at 10:59 AM, paul.sandoz@oracle.com wrote:</div>
<br class="Apple-interchange-newline">
<div>
<div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
Yes. All code items have identity, and their equals/hashCode is defined in terms of that identity i.e., same implementation as for Object.
<div><br>
</div>
<div>A reflected method body or lambda body must have only one code model instance associated with it. (We have been fixing some a bugs to ensure this is guaranteed.)
<div><br>
</div>
<div>Paul.<br id="lineBreakAtBeginningOfMessage">
<div><br>
<blockquote type="cite">
<div>On May 7, 2025, at 10:43 AM, Mark Roberts <markro@cs.washington.edu> wrote:</div>
<br class="Apple-interchange-newline">
<div>
<div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">
<div style="margin: 0in; font-size: 11pt; font-family: Calibri, sans-serif;">Are the members of a CodeModel.elementList() unique?  Specifically, is it safe to use a CodeElement as the key value in a Map?</div>
<p class="MsoNormal" style="margin: 0in; font-size: 11pt; font-family: Calibri, sans-serif;">
 </p>
<div style="margin: 0in; font-size: 11pt; font-family: Calibri, sans-serif;">Thank you,</div>
<div style="margin: 0in; font-size: 11pt; font-family: Calibri, sans-serif;">Mark</div>
</div>
</div>
</blockquote>
</div>
<br>
</div>
</div>
</div>
</div>
</blockquote>
</div>
<br>
</div>
</body>
</html>