<div dir="ltr"><div dir="ltr">Hello!</div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Fri, Jan 17, 2025 at 12:34 PM Maurizio Cimadamore <<a href="mailto:maurizio.cimadamore@oracle.com">maurizio.cimadamore@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"><u></u>

  
  <div>
    <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></div></blockquote><div><br></div><div>Unfortunately, asking users to submit snippets of their code in any automated or semi-automated way is a very sensitive area. If a user agrees to send anonymous statistics to us, we may see how often a particular warning is triggered, and how often a quick-fix is applied, but we don't see which code exactly triggered it.</div><div>Probably more reasonable approach would be to crawl open code repositories like GitHub and find the files where the problem appears.</div><div><br></div><div>With best regards,</div><div>Tagir Valeev</div></div></div>