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)
and Niko if you want to use the sync meeting time, a couple interesting things could be:
This sounds good to me!
That sounds great @lqd
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
It's taking longer than I thought so maybe I should re-order some of that thinking, though
(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)
We could. Would the meeting today be a good time, or should we try to find another time?
Hmm today's meeting could maybe work, yeah @Matthew Jasper
Hey @Matthew Jasper -- maybe we should chat in #wg-traits ?
I guess either stream is fine
But this seems a bit more general than polonius :)