<p><span class="h-card" translate="no"><a href="https://aus.social/@jpm" class="u-url mention">@<span>jpm</span></a></span> i think we can however add a diagnostic for this case; if you file an issue we'll take care of it (most likely checking in the Const.__eq__ implementation if you're comparing a constant with a non-Amaranth enum or something)</p>
