Also, @scalexm, we talked about this in some detail aroun the all hands, right? https://github.com/rust-lang-nursery/chalk/pull/206/ I'm inclined to just merge this PR right now..?
@nikomatsakis yes you can go ahead
@nikomatsakis btw as I said somewhere else some time ago, the proof for « soundness of implied bounds for traits » without considering implied bounds for types is actually quite simple
And I now understand why the fix I made make the whole setup sound including implied bounds for types
And also with that in mind we should discuss naming etc as we said
@scalexm yep -- so one of the things I want to be doing in this WG is to setup a regular "Design slot"
I was thinking that implied bounds would be a great thing to talk over
@nikomatsakis yes probably