pub struct MirPatch<'tcx> {
patch_map: IndexVec<BasicBlock, Option<TerminatorKind<'tcx>>>,
new_blocks: Vec<BasicBlockData<'tcx>>,
new_statements: Vec<(Location, StatementKind<'tcx>)>,
new_locals: Vec<LocalDecl<'tcx>>,
resume_block: Option<BasicBlock>,
unreachable_cleanup_block: Option<BasicBlock>,
unreachable_no_cleanup_block: Option<BasicBlock>,
terminate_block: Option<(BasicBlock, UnwindTerminateReason)>,
body_span: Span,
next_local: usize,
}Expand description
This struct represents a patch to MIR, which can add new statements and basic blocks and patch over block terminators.
Fields§
§patch_map: IndexVec<BasicBlock, Option<TerminatorKind<'tcx>>>§new_blocks: Vec<BasicBlockData<'tcx>>§new_statements: Vec<(Location, StatementKind<'tcx>)>§new_locals: Vec<LocalDecl<'tcx>>§resume_block: Option<BasicBlock>§unreachable_cleanup_block: Option<BasicBlock>§unreachable_no_cleanup_block: Option<BasicBlock>§terminate_block: Option<(BasicBlock, UnwindTerminateReason)>§body_span: Span§next_local: usizeAuto Trait Implementations§
impl<'tcx> Freeze for MirPatch<'tcx>
impl<'tcx> !RefUnwindSafe for MirPatch<'tcx>
impl<'tcx> Send for MirPatch<'tcx>
impl<'tcx> Sync for MirPatch<'tcx>
impl<'tcx> Unpin for MirPatch<'tcx>
impl<'tcx> !UnwindSafe for MirPatch<'tcx>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more