Stream: wg-traits

Topic: implied bounds bug


nikomatsakis (Feb 22 2019 at 20:52, on Zulip):

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..?

scalexm (Feb 22 2019 at 20:57, on Zulip):

@nikomatsakis yes you can go ahead

scalexm (Feb 22 2019 at 21:03, on Zulip):

@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

scalexm (Feb 22 2019 at 21:03, on Zulip):

And I now understand why the fix I made make the whole setup sound including implied bounds for types

scalexm (Feb 22 2019 at 21:04, on Zulip):

And also with that in mind we should discuss naming etc as we said

nikomatsakis (Feb 22 2019 at 21:17, on Zulip):

@scalexm yep -- so one of the things I want to be doing in this WG is to setup a regular "Design slot"

nikomatsakis (Feb 22 2019 at 21:17, on Zulip):

I was thinking that implied bounds would be a great thing to talk over

scalexm (Feb 22 2019 at 21:18, on Zulip):

@nikomatsakis yes probably

Last update: Nov 12 2019 at 16:45UTC