fn par_slice_mut<I: DynSend>( items: &mut [I], guard: &ParallelGuard, for_each: impl Fn(&mut I) + Dss, proof: FromDyn<()>, )