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

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: Jul 03 2020 at 17:25UTC