Trait miri::intptrcast::EvalContextExtPriv
source · trait EvalContextExtPriv<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
// Provided methods
fn alloc_id_from_addr(&self, addr: u64) -> Option<AllocId> { ... }
fn addr_from_alloc_id(&self, alloc_id: AllocId) -> InterpResult<'tcx, u64> { ... }
}