WG-Polonius meeting minutes: 2019/05/07

Relevant links:

In this shorter meeting, we spent most of the time on the previous week’s work:

Niko has written more notes and steps for implementing liveness. With these, most of liveness is described (modulo the specifics of drop) :tada:.
Albin smoothly continued work on computing liveness in Polonius in #105, and rustc’s #60266: finishing up last week’s steps about the beginning of fact generation, and preparing to emit the ones needed to compute the region_live_at relation.
Rémy started looking at rustc’s test suite behaviour under --compare-mode polonius in more detail. While initially the number of failures looked big, Matthew mentioned their in-review PR #60171, which would contain most of the differences seen in these initial runs, as it unifies the NLL mode under which both of these test modes are ran.
@lokalmatador successfully got rustc building and prepared for profiling.

Useful future tasks we mentioned:

even though we always think about the topic, we noticed analyzing the test suite, tests and correctness, are tasks which should actually be mentioned in the Roadmap.
the polonius compare-mode likely has little or no documentation, fixing that would be important as part of the general documentation effort needed by the project.

For the following week:

Albin will continue on liveness.
To get ahead of the liveness game, Niko will look at and describe more of the drop specifics.
Rémy will continue on the rustc test suite results, especially on top of #60171. But also write the previous meetings' notes they forgot to do (but as you can attest, dear reader/reviewer, got done eventually).
@lokalmatador will have a bit less time in the immediate future but will afterwards be able to start profiling and looking at the benchmarking tasks from the Roadmap.