ConnId: Fix hax complaints

openwsn-berkeley · Nov 4, 2024 · e747187 · e747187
1 parent 1ebdcfc
commit e747187
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/shared/src/lib.rs b/shared/src/lib.rs
@@ -254,8 +254,13 @@ impl ConnId {
             }
         }
         s[0] = input.len() as u8 | 0x40;
-        s.get_mut(1..1 + input.len())?.copy_from_slice(input);
-        Some(Self(s))
+        if let Some(tail) = s.get_mut(1..1 + input.len()) {
+            tail.copy_from_slice(input);
+            Some(Self(s))
+        } else {
+            // Data too long
+            None
+        }
     }
 }