fn round_all<'tcx, F: Float>(
this: &mut MiriInterpCx<'_, 'tcx>,
op: &OpTy<'tcx, Provenance>,
rounding: &OpTy<'tcx, Provenance>,
dest: &MPlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx, ()>
fn round_all<'tcx, F: Float>(
this: &mut MiriInterpCx<'_, 'tcx>,
op: &OpTy<'tcx, Provenance>,
rounding: &OpTy<'tcx, Provenance>,
dest: &MPlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx, ()>