Stream: wg-traits

Topic: meeting 2019.07.08

nikomatsakis (Jul 08 2019 at 15:00, on Zulip):

Hey @WG-traits -- I can't make the meeting today -- or, rather, maybe I can, I have an urgent personal errand to do and I'm not sure how long it's going to take. My main update is that I plan to do some reviews of various PRs, and get back to @Alexander Regueiro regarding the trait upcasting PR. @Sunjay Varma and I had a good conversation about specialization, as well.

Actually, next week I'm going to be on vacation until mid-August, so I'm inclined to say that "WG-Traits" should go "on hiatus" until the fall (i.e., no standing meeting). I do plan to be doing some experiments and thinking because if we're going to start back up again I want to come back with a more complete plan this time.

(In any case, even if there are no standing meetings I'd like to make some progress on smaller things.)


Sunjay Varma (Jul 08 2019 at 15:01, on Zulip):

Sounds good! Enjoy your vacation! You deserve a break :smile:

centril (Jul 08 2019 at 15:01, on Zulip):

Makes sense; enjoy the vaction :slight_smile:

Alexander Regueiro (Jul 08 2019 at 16:30, on Zulip):

@nikomatsakis Sounds good to me, thanks. I won't be able to make it anyway (as usual), but I look forward to the review and maybe more thoughts on the trait upcasting PR.

Keith Yeung (Jul 08 2019 at 18:43, on Zulip):

@nikomatsakis Just a reminder that I still need some guidance for implementing the check for impl Trait and dyn Trait on the chalk solver

Alexander Regueiro (Jul 08 2019 at 23:12, on Zulip):

@nikomatsakis Also, maybe you can work impl-trait-in-bindings into your ponderings? I kind of feel it makes most sense to leave this to you in your own time to implement, since there would be a lot of wasted effort bringing me up to speed on everything and collating your notes, probably.

Last update: Jul 03 2020 at 17:00UTC