pub(super) trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided method
fn emulate_x86_avx_intrinsic(
&mut self,
link_name: Symbol,
abi: ExternAbi,
args: &[OpTy<'tcx>],
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx, EmulateItemResult> { ... }
}