Stream: wg-async-foundations

Topic: lifetimes, self, projections #61949

nikomatsakis (Jul 08 2019 at 19:36, on Zulip):

So on the topic of "Inherent async fn returning Self treats type's lifetime parameters as 'static" (#61949) -- we had discussed trying to hack together a feature-gate for async fn. I found that there are other, similar problems around projections. (In particular, T::Item can expand to <T as Foo<'a>>::Item...).

I think we should separate these two issues, though:

nikomatsakis (Jul 08 2019 at 20:41, on Zulip):

lol apparently I filed in 2018 and promptly forgot about it

nikomatsakis (Jul 09 2019 at 10:59, on Zulip):

I'm going to try and write-up some mentoring instructions to resolve #61949, but ignoring the issue described in #51525, which I think we should try to solve separately -- perhaps by just reporting an error if we expand to <T as Foo<'a>>::Bar in an impl trait for now.

Last update: Jul 16 2020 at 14:05UTC