@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