Stream: wg-traits

Topic: associate type bounds and for


Jon Gjengset (Jan 16 2019 at 18:09, on Zulip):

Hey all! \o/ Hope this is an appropriate place to ask:
I ran into this weird case and was wondering if someone could take a look that I'm not completely off-base about this being a bug. I _think_ the example code should compile, but don't feel like I'm familiar enough with for<'a> to be sure.

Jon Gjengset (Jan 16 2019 at 20:22, on Zulip):

sfackler observed that this is actually a duplicate of https://github.com/rust-lang/rust/issues/56556

nikomatsakis (Jan 17 2019 at 14:53, on Zulip):

I agree that looks like a bug

Jon Gjengset (Jan 17 2019 at 18:08, on Zulip):

There also sadly doesn't look like there's a workaround except removing the lifetime parameter :/ These are the times I wish I had the time to sit down and learn the compiler source so I could fix such things myself. Maybe one day ^^

Last update: Nov 12 2019 at 16:30UTC