Trait miri::MiriInterpCxExt

pub trait MiriInterpCxExt<'tcx> {
    // Required methods
    fn eval_context_ref<'a>(&'a self) -> &'a MiriInterpCx<'tcx>;
    fn eval_context_mut<'a>(&'a mut self) -> &'a mut MiriInterpCx<'tcx>;
}

A little trait that’s useful to be inherited by extension traits.

Required Methods

fn eval_context_ref<'a>(&'a self) -> &'a MiriInterpCx<'tcx>

fn eval_context_mut<'a>(&'a mut self) -> &'a mut MiriInterpCx<'tcx>

Implementors

impl<'tcx> MiriInterpCxExt<'tcx> for MiriInterpCx<'tcx>