Trait miri::operator::EvalContextExt
source · pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided methods
fn binary_ptr_op(
&self,
bin_op: BinOp,
left: &ImmTy<'tcx>,
right: &ImmTy<'tcx>,
) -> InterpResult<'tcx, ImmTy<'tcx>> { ... }
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§
fn binary_ptr_op( &self, bin_op: BinOp, left: &ImmTy<'tcx>, right: &ImmTy<'tcx>, ) -> InterpResult<'tcx, ImmTy<'tcx>>
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
Object Safety§
This trait is not object safe.