Add safety comment.

mbrubeck · workingjubilee · web-flow · commit 3653e16117fd · 2024-03-20T11:57:14.000-07:00
Co-authored-by: Jubilee &lt;46493976+workingjubilee@users.noreply.github.com&gt;
diff --git a/src/lib.rs b/src/lib.rs
@@ -1375,6 +1375,7 @@ impl<A: Array> SmallVec<A> {
             if index > len {
                 panic!("index exceeds length");
             }
+            // SAFETY: add is UB if index > len, but we panicked first
             ptr = ptr.add(index);
             if index < len {
                 // Shift element to the right of `index`.

Original file line number	Diff line number	Diff line change
`@@ -1375,6 +1375,7 @@ impl<A: Array> SmallVec<A> {`
`1375`	`1375`	`if index > len {`
`1376`	`1376`	`panic!("index exceeds length");`
`1377`	`1377`	`}`
	`1378`	`+ // SAFETY: add is UB if index > len, but we panicked first`
`1378`	`1379`	`ptr = ptr.add(index);`
`1379`	`1380`	`if index < len {`
`1380`	`1381`	// Shift element to the right of `index`.