Stream: wg-traits

Topic: technical deep dive


nikomatsakis (Jan 18 2019 at 19:29, on Zulip):

@scalexm we had talked about doing some kind of "deep dive" in the next traits meeting on monday -- do you think you will have something to talk about for trait object types? I could also prep something for lifetime inference

scalexm (Jan 18 2019 at 19:33, on Zulip):

@nikomatsakis yes I can prepare something

nikomatsakis (Jan 18 2019 at 19:59, on Zulip):

@scalexm great -- any thoughts on what form that should take? :) I guess a write-up of some kind?

scalexm (Jan 18 2019 at 20:05, on Zulip):

@nikomatsakis yeah, I think I’m going to write an issue on the chalk repo, explaining where the current unsoundness come from and summarizing the rules I’ve come up with to hopefully have sound trait objects at least in chalk

scalexm (Jan 18 2019 at 20:05, on Zulip):

Then we can discuss it on Monday

nikomatsakis (Jan 18 2019 at 20:08, on Zulip):

ok

nikomatsakis (Jan 18 2019 at 20:08, on Zulip):

can you send a link once its ready on Zulip, so maybe people can read before the meeting?

scalexm (Jan 18 2019 at 20:12, on Zulip):

I’ll write everything up during the week-end

scalexm (Jan 20 2019 at 19:03, on Zulip):

summary for trait objects: https://github.com/rust-lang-nursery/chalk/issues/203

Last update: Nov 12 2019 at 17:00UTC