pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided method
fn emulate_math_intrinsic(
&mut self,
intrinsic_name: &str,
_generic_args: GenericArgsRef<'tcx>,
args: &[OpTy<'tcx>],
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx, EmulateItemResult> { ... }
}