Regarding Polonius, my understanding is we are going to try fork off the Polonius work separately. Basically, I want to tie a bow on the current NLL system and move on to a different project, but certainly others are working on Polonius and I believe @nikomatsakis intends to either steer that ship themself or find someone else to pilot it in. Its our current best hope for getting NLL to its idealized state.
So, who is working on Polonius so that I might follow the exciting progress?
we talked at an earlier meeting there would maybe be another WG for it, with a lot of current WG-NLL members being interested in joining
I can find a link to the conversation if you want
nah, that's fine. So long as this stream is the right place to lurk for now
yeah it still is, in other news Niko has published an article or three recently about it in case you missed them. Some of which has been implemented (there's a PR at least)
@Jake Goulding see #t-compiler/wg-polonius