more

Author: molpopgen

src/sys/mod.rs

@@ -166,29 +166,29 @@ unsafe fn tsk_ragged_column_access_detail<
     if row < 0 || row as bindings::tsk_size_t > column_length || offset_length == 0 {
         None
     } else {
-        assert!(!column.is_null());
-        assert!(!offset.is_null());
         // SAFETY: pointers are not null
         // and *_length are given by tskit-c
         let index = row as isize;
-        let start = unsafe { *offset.offset(index) };
+        let start = *offset.offset(index);
         let stop = if (row as bindings::tsk_size_t) < column_length {
-            unsafe { *offset.offset(index + 1) }
+            *offset.offset(index + 1)
         } else {
             offset_length
         };
         if start == stop {
             None
         } else {
             Some((
-                unsafe { column.offset(start as isize) },
+                column.offset(start as isize),
                 stop as usize - start as usize,
             ))
         }
     }
 }
 
 // SAFETY: see tsk_ragged_column_access_detail
+// We further erquire that a pointer to a T can
+// be safely cast to a pointer to an O.
 pub unsafe fn tsk_ragged_column_access<
     'a,
     O,