<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Apologies, I should have been clearer - I meant if you have
internal use cases (within Jetbrains code) where you observed this
problem.</p>
<p>Maurizio<br>
</p>
<div class="moz-cite-prefix">On 17/01/2025 11:39, Tagir Valeev
wrote:<br>
</div>
<blockquote type="cite" cite="mid:CAE+3fjZhvpUD+BKcSUrmnsKpmiCR+vhUwZvhkL2X_MPpzwej8Q@mail.gmail.com">
<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" moz-do-not-send="true" class="moz-txt-link-freetext">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">
<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>
</blockquote>
</body>
</html>