Changing an overly aggressive assert in MIR generate when an assignment is outside of the bounds to skipping the application of the mir rule.