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