<!DOCTYPE html><html><head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body>

    <p><br>

    </p>

    <div class="moz-cite-prefix">On 23/05/2024 15:52, Dan Smith wrote:<br>

    </div>

    <blockquote type="cite" cite="mid:1393E595-FE06-4A55-A8B4-6280EF9BCE68@oracle.com">

      <pre><blockquote type="cite" style="color: #8c8c8c;"><pre class="moz-quote-pre" wrap="">Does javac already implement this application of projection?

</pre></blockquote><pre class="moz-quote-pre" wrap="">No, I don't believe so. The bug remains, it's something that needs to be addressed sometime.

</pre></pre>

    </blockquote>

    <p>Correct. We don't do anything fancy. And, javac is not very

      consistent in how supertypes are computed. In most occurrences,

      javac will happily replace wildcards in supertypes. In other cases

      javac might attempt to capture before going up.<br>

    </p>

    <p>Maurizio<br>

    </p>

  </body>

</html>