Stream: t-compiler/wg-polonius

Topic: meeting 2019.12.17


lqd (Dec 16 2019 at 16:02, on Zulip):

hey @WG-polonius :)
I personally won't have a lot of time with the end-of-year rush (+ holiday vacations) so what do you think about having async updates here instead of sync meetings for the next few weeks (2 to 3) ?
(I'll have more time towards the end of December through the 1st week of January, but not necessarily a fixed schedule)

lqd (Dec 16 2019 at 16:04, on Zulip):
lqd (Dec 16 2019 at 16:08, on Zulip):

and Niko if you want to use the sync meeting time, a couple interesting things could be:

Albin Stjerna (Dec 16 2019 at 18:22, on Zulip):

This sounds good to me!

nikomatsakis (Dec 16 2019 at 22:22, on Zulip):

That sounds great @lqd

nikomatsakis (Dec 16 2019 at 22:22, on Zulip):

Regarding leak-check, yes, I've been thinking about it, which is partly why I've been pursuing the chalk changes I have been, because they actually lead to a potentially slightly different place than that PR, and I wanted to see if they made sense and try to figure out what that might mean for rustc

nikomatsakis (Dec 16 2019 at 22:23, on Zulip):

It's taking longer than I thought so maybe I should re-order some of that thinking, though

nikomatsakis (Dec 16 2019 at 22:23, on Zulip):

(In fact, maybe @Matthew Jasper and I could spend some time talking it out, would be really useful to have someone to discuss it with)

Matthew Jasper (Dec 17 2019 at 12:57, on Zulip):

We could. Would the meeting today be a good time, or should we try to find another time?

nikomatsakis (Dec 17 2019 at 15:52, on Zulip):

Hmm today's meeting could maybe work, yeah @Matthew Jasper

Matthew Jasper (Dec 17 2019 at 20:03, on Zulip):

ping @nikomatsakis

nikomatsakis (Dec 17 2019 at 20:03, on Zulip):

Hey @Matthew Jasper -- maybe we should chat in #wg-traits ?

nikomatsakis (Dec 17 2019 at 20:03, on Zulip):

I guess either stream is fine

nikomatsakis (Dec 17 2019 at 20:03, on Zulip):

But this seems a bit more general than polonius :)

Last update: Jan 28 2020 at 00:35UTC