This struct lets you βpatchβ a MIR body, i.e. modify it. You can queue up
various changes, such as the addition of new statements and basic blocks
and replacement of terminators, and then apply the queued changes all at
once with apply. This is useful for MIR transformation passes.