I have a question. If we have a move error at some MIR statement x, should it happen at
Mid(x)? Both make sense to me, if the evaluation happens before the effect (which is the only way I see there being any point to separating start/mid).
Invalidates error are at the start point, so I would expect move errors to also be at the start point.
Great thanks :)