Hey @Aaron Hill -- let's discuss https://github.com/rust-lang/rust/issues/64552 a bit! (Putting this msg here so I don't forget)
Maybe we can sched a time to sync up?
@nikomatsakis Sorry, I really should check Zulip more frequently - I just saw your message
I've taken a look at this recently. The main issue I ran into was how to extract the relevant information from the InferCtxt. We obviously don't want to have a
GeneratorWitness carry around the entire
InferCtxt from its parent function. I think we need to:
InferCtxt, and re-write them to use the late-bound variables used by the witness type.
GeneratorWitnesspredicate, create fresh inference variables in the
InferCtxt, and apply the stored constraints the new inference variables.
However, I've not that familiar with how region inference works, so I might be missing something.