pub trait EvalContextExt<'tcx> {
    // Required method
    fn binary_ptr_op(
        &self,
        bin_op: BinOp,
        left: &ImmTy<'tcx, Provenance>,
        right: &ImmTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, (ImmTy<'tcx, Provenance>, bool)>;
}

Required Methods§

source

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

Implementors§

source§

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