Stream: wg-traits

Topic: meeting 2019.07.01


nikomatsakis (Jul 01 2019 at 18:06, on Zulip):

Hey @WG-traits =) I don't have much to update from last week.

Given the general lack of activity and my planned vacation, I'm thinking about suspending these meetings until the fall (or late August), and making a renewed attempt at getting organized then.

nikomatsakis (Jul 01 2019 at 18:06, on Zulip):

Though @Sunjay Varma and I are supposed to have a chat in a bit :)

Sunjay Varma (Jul 01 2019 at 18:29, on Zulip):

I'm in the zoom meeting

Sunjay Varma (Jul 01 2019 at 18:31, on Zulip):

https://paper.dropbox.com/doc/Chalk-and-Specialization--AgEWIBFuX8r0ivXjYsji70cRAg-urrCptcGmI7PA4pYaF5yn

nikomatsakis (Jul 01 2019 at 18:32, on Zulip):

@Sunjay Varma can you connect to this room instead?

Sunjay Varma (Jul 01 2019 at 19:06, on Zulip):

Happy Canada day everyone! :maple_leaf:

centril (Jul 01 2019 at 19:43, on Zulip):

@nikomatsakis speaking of associated types and specialization. We have a PR up for a partial fix for associated_type_defaults in #61812. I have reviewed parts of it (but mostly from a testing POV). @Ariel Ben-Yehuda is reviewing it too but it would be good if you could give it a look as well.

nikomatsakis (Jul 01 2019 at 21:57, on Zulip):

Though Sunjay Varma and I are supposed to have a chat in a bit :)

https://youtu.be/r3_ITLKLGJs

nikomatsakis (Jul 01 2019 at 21:57, on Zulip):

Yes, @centril, I saw that.

centril (Jul 01 2019 at 21:59, on Zulip):

@nikomatsakis cool; would be good review soon as it also closes an existing (nightly only) soundness hole

Last update: Nov 12 2019 at 15:55UTC