Trait miri::machine::MiriInterpCxExt
source · 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>;
}
Expand description
A little trait that’s useful to be inherited by extension traits.