Make validate_mir ensure the final MIR for all bodies
#128612
+16
−3
Closed