<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:monospace">And I guess while I'm here, I will also ask -- putting aside records for a moment, was there ever an explicit reason why this was not permitted? I can understand records and enums - one is types, the other is values, so it may be hard to mix them. But this is ALL values. Is it because it isn't worth the effort?<br></div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">
<br>   sealed interface SealedInterface {}<br>   enum TypeA implements SealedInterface { A; }<br>   enum TypeB implements SealedInterface { B; }<br>   <br>   private void mixingEnumsUnderTheSameSealedInterfaceDuringAPatternMatch()<br>   {<br>   <br>      final SealedInterface someValue = TypeA.A;<br>   <br>      final int result = <br>         switch (someValue)<br>         {<br>         <br>            case TypeA.A -> 1;<br>            case TypeB.B -> 2;<br>         <br>         };<br>   <br>   }</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">And separately, apologies in advance if these are all old discussion topics that have been brought up multiple times before. I try to look up the discussions for these on google, but I don't know if they just aren't getting indexed or something. Does this mailing list have some sort of index or search bar that allows me to look up things by topic? The best I can find is going month by month and guesstimating when the discussion would have happened at. But I'm sure there must be a better way.<br></div><div class="gmail_default" style="font-family:monospace">

</div></div><div style="font-family:monospace" class="gmail_default"></div></div>