pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided method
fn mremap(
&mut self,
old_address: &OpTy<'tcx>,
old_size: &OpTy<'tcx>,
new_size: &OpTy<'tcx>,
flags: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
}