<div dir="ltr">ECJ doesn't have this "bug" yet still conforms to the specs. Is it possible to get javac to do the same thing here?</div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Wed, Aug 20, 2025 at 6:52 PM Dan Smith <<a href="mailto:daniel.smith@oracle.com">daniel.smith@oracle.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">For some context, there's a longstanding known issue that the interaction between intersections and wildcards is under-specified. Deciding which intersections are well-formed, and if so what are the types of their members, is a deep problem without easy answers.<br>
<br>
JDK-7034922 captures some of the issues, and I see this bug has been linked to it.<br>
<br>
So yes, this is intuitively a bug, but the problem is we don't have a specification to conform to, and it's not clear what that specification should say.<br>
<br>
I've done some work in the past to try to make sense of the intended type system, but that work hasn't gotten to the point of actionable changes. In the mean time I think this is just one more test case for these features that we can keep track of.<br>
<br>
</blockquote></div>