pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided methods
fn genmc_intercept_function(
&mut self,
_instance: Instance<'tcx>,
_args: &[FnArg<'tcx, Provenance>],
_dest: &PlaceTy<'tcx>,
) -> InterpResult<'tcx, bool> { ... }
fn handle_genmc_verifier_assume(
&mut self,
_condition: &OpTy<'tcx>,
) -> InterpResult<'tcx> { ... }
}Provided Methods§
fn genmc_intercept_function( &mut self, _instance: Instance<'tcx>, _args: &[FnArg<'tcx, Provenance>], _dest: &PlaceTy<'tcx>, ) -> InterpResult<'tcx, bool>
fn handle_genmc_verifier_assume( &mut self, _condition: &OpTy<'tcx>, ) -> InterpResult<'tcx>
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".