@Matthew Jasper @eddyb So I've been looking at how to clean up
region_name is easy, as most can be just made inherent impls on
MirBorrowckCtxt instead of
region_errors is hard because it uses a lot of the fields of the
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...
I would be interested in getting your thoughts. Does this seem like a reasonable plan? And if so, how would you go about it?