Stream: t-compiler/wg-polonius

Topic: location-insensitive to datafrogopt


lqd (Apr 24 2019 at 17:41, on Zulip):

this was what I was mentioning yesterday.

lqd (Apr 24 2019 at 17:42, on Zulip):

It's likely incorrect and incomplete :)

lqd (Apr 24 2019 at 17:42, on Zulip):

(I'm especially wondering about only computing the "interesting" regions' TC or also including regions outliving them... rn it's only the TC and passes our small test suite, and doesn't seem that much different from DatafrogOpt on rustc's tests. But last I checked, less than 20 failed but now it's 200)

lqd (Apr 24 2019 at 17:43, on Zulip):

In addition to incomplete, it might clash with the subset relations work, or future analyses, so I probably won't open a PR

lqd (Apr 24 2019 at 17:43, on Zulip):

For fun and motivation I ran the old NLL benchmark comparison, and the numbers seemed interesting in addition to probably wrong -- better to focus on completeness and correctness for the time being for sure

nikomatsakis (Apr 24 2019 at 19:02, on Zulip):

looks interesting, yes

Last update: Nov 15 2019 at 20:00UTC