
<!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 17/01/2025 10:57, Tagir Valeev

      wrote:<br>

    </div>

    <blockquote type="cite" cite="mid:CAE+3fjY9OCstcka5TpDKDWWUVE9ijm2rxEqxYp1ZJCV4E8jjZw@mail.gmail.com">

      

      <div dir="auto">

        <div>Hello!<br>

          <br>

          <div class="gmail_quote gmail_quote_container">

            <div dir="ltr" class="gmail_attr">On Fri, Jan 17, 2025,

              11:13 Maurizio Cimadamore <<a href="mailto:maurizio.cimadamore@oracle.com" moz-do-not-send="true" class="moz-txt-link-freetext">maurizio.cimadamore@oracle.com</a>>

              wrote:<br>

            </div>

            <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>

              Question: is intellij able to figure out the correct types

              w/o ending up <br>

              with combinatorial explosion -- or is it using some

              heuristic to "guess" <br>

              what the likely type arguments are going to be?<br>

            </blockquote>

          </div>

        </div>

        <div dir="auto"><br>

        </div>

        <div dir="auto">This is a performance problem for IntelliJ as

          well. Highlighting becomes slow on such code. Not sure whether

          it's slower or faster than javac, but it's definitely slow. So

          technically, it's 'javac + IntelliJ quirks' :-) <br>

        </div>

      </div>

    </blockquote>

    <p>Ah I see - so you do the full analysis, but when it gets "too

      slow", you suggest to use explicit type parameters. Makes sense.</p>

    <p>Now, if you have internal diagnostics on when this happens, and

      see some what code triggered it, it might be useful to report bugs

      -- so that we make sure that we avoid all the performance potholes

      we can avoid.</p>

    <p>Cheers<br>

      Maurizio<br>

    </p>

    <blockquote type="cite" cite="mid:CAE+3fjY9OCstcka5TpDKDWWUVE9ijm2rxEqxYp1ZJCV4E8jjZw@mail.gmail.com">

      <div dir="auto">

        <div dir="auto"><br>

        </div>

        <div dir="auto">

          <div class="gmail_quote gmail_quote_container">

            <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

              <br>

              Maurizio<br>

              <br>

            </blockquote>

          </div>

        </div>

      </div>

    </blockquote>

  </body>

</html>