Stream: wg-traits

Topic: Implied bounds for impl Trait


Florian Diebold (Dec 04 2019 at 11:53, on Zulip):

I noticed that Trait: SuperTrait doesn't currently imply that impl Trait implements SuperTrait. I guess that's rust-lang/chalk#203?

Last update: Jan 21 2020 at 08:20UTC