Add safety comment

MichaReiser · MichaReiser · commit 14c64ee81e29 · 2025-10-10T15:38:30.000+02:00
diff --git a/src/function/maybe_changed_after.rs b/src/function/maybe_changed_after.rs
@@ -484,6 +484,7 @@ where
             .iter()
             .all(|head| head.database_key_index == memo_database_key_index)
         {
+            // SAFETY: We do not access the query stack reentrantly.
             let on_stack = unsafe {
                 zalsa_local.with_query_stack_unchecked(|stack| {
                     stack

Original file line number	Diff line number	Diff line change
`@@ -484,6 +484,7 @@ where`
`484`	`484`	`.iter()`
`485`	`485`	`.all(\|head\| head.database_key_index == memo_database_key_index)`
`486`	`486`	`{`
	`487`	`+ // SAFETY: We do not access the query stack reentrantly.`
`487`	`488`	`let on_stack = unsafe {`
`488`	`489`	`zalsa_local.with_query_stack_unchecked(\|stack\| {`
`489`	`490`	`stack`