Stream: wg-async-foundations

Topic: https://github.com/rust-lang/rust/issues/64552


csmoe (Jan 03 2020 at 16:31, on Zulip):

@Aaron Hill I'm working on this issue with your proposal.
I retrieved the RegionOutlivesPredicate, then my intuition told me that those predicates should be "mapped" onto Tys with something like .fold_regions . Is this true? Or how can I move forward? help wannted
cc @nikomatsakis

Aaron Hill (Jan 03 2020 at 16:35, on Zulip):

I don't think the region predicates currently exist in predicates_of

Aaron Hill (Jan 03 2020 at 16:35, on Zulip):

The relevant information exists in some form inside an InferCtxt, but get thrown away after the generator is type-checked

Aaron Hill (Jan 03 2020 at 16:36, on Zulip):

I think you'll need to somehow extract the relevant information, and convert it into predicates

Aaron Hill (Jan 03 2020 at 16:37, on Zulip):

If I understand correctly, the information needed here doesn't normally exist outside of typeck_tables_of

csmoe (Jan 03 2020 at 16:37, on Zulip):

I think you'll need to somehow extract the relevant information, and convert it into predicates

thanks, really help :heart:

Aaron Hill (Jan 03 2020 at 16:37, on Zulip):

No problem :)

Last update: Jun 07 2020 at 10:15UTC