pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
    // Provided methods
    fn binary_ptr_op(
        &self,
        bin_op: BinOp,
        left: &ImmTy<'tcx, Provenance>,
        right: &ImmTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, (ImmTy<'tcx, Provenance>, bool)> { ... }
    fn generate_nan<F1: Float + FloatConvert<F2>, F2: Float>(
        &self,
        inputs: &[F1]
    ) -> F2 { ... }
    fn adjust_nan<F1: Float + FloatConvert<F2>, F2: Float>(
        &self,
        f: F2,
        inputs: &[F1]
    ) -> F2 { ... }
}

Provided Methods§

source

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

source

fn generate_nan<F1: Float + FloatConvert<F2>, F2: Float>( &self, inputs: &[F1] ) -> F2

source

fn adjust_nan<F1: Float + FloatConvert<F2>, F2: Float>( &self, f: F2, inputs: &[F1] ) -> F2

Object Safety§

This trait is not object safe.

Implementors§

source§

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