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