Stream: t-compiler

Topic: remove RegionInferenceContext


mark-i-m (Dec 28 2019 at 23:20, on Zulip):

@Matthew Jasper @eddyb So I've been looking at how to clean up region_errors and region_name.

mark-i-m (Dec 28 2019 at 23:21, on Zulip):

region_name is easy, as most can be just made inherent impls on MirBorrowckCtxt instead of RegionInferenceContext, but region_errors is hard because it uses a lot of the fields of the RegionInferenceContext

mark-i-m (Dec 28 2019 at 23:22, on Zulip):

So, I would like to get rid of RegionInferenceContext altogether and just put its fields in the MirBorrowckCtxt, but I'm not sure how to do that without using some sort of interior mutability...

mark-i-m (Dec 28 2019 at 23:22, on Zulip):

I would be interested in getting your thoughts. Does this seem like a reasonable plan? And if so, how would you go about it?

Last update: Jan 21 2020 at 09:10UTC