@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
@nikomatsakis yes I can prepare something
@scalexm great -- any thoughts on what form that should take? :) I guess a write-up of some kind?
@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
Then we can discuss it on Monday
can you send a link once its ready on Zulip, so maybe people can read before the meeting?
I’ll write everything up during the week-end
summary for trait objects: https://github.com/rust-lang-nursery/chalk/issues/203