Trait miri::stacked_borrows::EvalContextExt

pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> {
    fn retag(
        &mut self,
        kind: RetagKind,
        place: &PlaceTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn retag_return_place(&mut self) -> InterpResult<'tcx> { ... }
    fn expose_tag(&mut self, alloc_id: AllocId, tag: SbTag) -> InterpResult<'tcx> { ... }
}

Provided Methods

fn retag(
    &mut self,
    kind: RetagKind,
    place: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx>

fn retag_return_place(&mut self) -> InterpResult<'tcx>

After a stack frame got pushed, retag the return place so that we are sure it does not alias with anything.

This is a HACK because there is nothing in MIR that would make the retag explicit. Also see https://github.com/rust-lang/rust/issues/71117.

fn expose_tag(&mut self, alloc_id: AllocId, tag: SbTag) -> InterpResult<'tcx>

Mark the given tag as exposed. It was found on a pointer with the given AllocId.

Implementors

impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for MiriEvalContext<'mir, 'tcx>