fn ZDICT_optimizeTrainFromBuffer_cover: improve safety comment

Author: michielp1807

lib/dictBuilder/cover.rs

@@ -1204,7 +1204,13 @@ fn COVER_tryParameters(data: Box<COVER_tryParameters_data_t>) {
 ///
 /// Behavior is undefined if any of the following conditions are violated:
 ///
-/// - `parameters` satisfies the conditions of [`pointer::as_mut`]
+/// - `dictBufferCapacity` is 0 or `dictBuffer` and `dictBufferCapacity` satisfy the requirements
+///   of [`core::slice::from_raw_parts_mut`].
+/// - `nbSamples` is 0 or `samplesSizes` and `nbSamples` satisfy the requirements
+///   of [`core::slice::from_raw_parts`].
+/// - `sum(samplesSizes)` is 0 or `samplesBuffer` and `sum(samplesSizes)` satisfy the requirements
+///   of [`core::slice::from_raw_parts`].
+/// - `parameters` satisfies the requirements of [`pointer::as_mut`]
 #[cfg_attr(feature = "export-symbols", export_name = crate::prefix!(ZDICT_optimizeTrainFromBuffer_cover))]
 pub unsafe extern "C" fn ZDICT_optimizeTrainFromBuffer_cover(
     dictBuffer: *mut core::ffi::c_void,