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.)
Sounds good! Enjoy your vacation! You deserve a break :smile:
Makes sense; enjoy the vaction :slight_smile:
@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.
@nikomatsakis Just a reminder that I still need some guidance for implementing the check for
impl Trait and
dyn Trait on the chalk solver
@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.