Trait miri::OperatorEvalContextExt

source · [−]

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

Required Methods

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

Implementors

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