@Santiago Pastorino Could you explain what
process_projection is doing in the MIR visitor? And what's up with these two lines?
Is this working around the borrow-checker somehow?
And why does
visit_projection exist only for
Visitor, not for
MutVisitor? Why do we need this in addition to
Ah, I see. There's places where we want to skip a projection but continue iterating.
@ecstatic-morse we should make this solution a bit better
but did you figure it out?
I'm working to remove
PlaceContext::Projection, which isn't used in mutable visitors so I've punted on that part of it for now.