Trait miri::operator::EvalContextExt

source · [−]

pub trait EvalContextExt<'tcx> {
    fn binary_ptr_op(
        &self,
        bin_op: BinOp,
        left: &ImmTy<'tcx, Tag>,
        right: &ImmTy<'tcx, Tag>
    ) -> InterpResult<'tcx, (Scalar<Tag>, bool, Ty<'tcx>)>;
}

Required Methods

fn binary_ptr_op(
    &self,
    bin_op: BinOp,
    left: &ImmTy<'tcx, Tag>,
    right: &ImmTy<'tcx, Tag>
) -> InterpResult<'tcx, (Scalar<Tag>, bool, Ty<'tcx>)>

Implementors

impl<'mir, 'tcx> EvalContextExt<'tcx> for MiriEvalContext<'mir, 'tcx>