fix: compile warn & loom test

y-octo/src/doc/common/somr.rs

@@ -123,6 +123,7 @@ impl<T> Somr<T> {
         }
     }
 
+    #[allow(dead_code)]
     pub fn get_mut(&mut self) -> Option<&mut T> {
         if !self.is_owned() || self.dangling() {
             return None;
@@ -132,6 +133,7 @@ impl<T> Somr<T> {
         inner.data.as_mut().map(|x| x.get_mut())
     }
 
+    #[allow(dead_code)]
     pub unsafe fn get_mut_from_ref(&self) -> Option<InnerRefMut<T>> {
         if !self.is_owned() || self.dangling() {
             return None;
@@ -487,14 +489,16 @@ mod tests {
     // This is UB if we didn't use `UnsafeCell` in `Somr`
     #[test]
     fn test_inner_mut() {
-        let five = Somr::new(5);
-        fn add(a: &Somr<i32>, b: &Somr<i32>) {
-            unsafe { a.get_mut_from_ref() }
-                .map(|mut x| *x += *b.get().unwrap())
-                .unwrap();
-        }
+        loom_model!({
+            let five = Somr::new(5);
+            fn add(a: &Somr<i32>, b: &Somr<i32>) {
+                unsafe { a.get_mut_from_ref() }
+                    .map(|mut x| *x += *b.get().unwrap())
+                    .unwrap();
+            }
 
-        add(&five, &five);
-        assert_eq!(five.get().copied().unwrap(), 10);
+            add(&five, &five);
+            assert_eq!(five.get().copied().unwrap(), 10);
+        });
     }
 }