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

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.

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

Implementors