diff --git a/src/ds/slot_arena.rs b/src/ds/slot_arena.rs index 064c6fe..afe0ab6 100644 --- a/src/ds/slot_arena.rs +++ b/src/ds/slot_arena.rs @@ -142,7 +142,9 @@ //! //! ## Implementation Notes //! -//! - `SlotId` carries a generation counter; stale handles return `None` +//! - `SlotId` stores the generation value assigned by the arena; the arena +//! maintains the authoritative generation counter and validates `SlotId`s +//! against it so that stale handles return `None` //! - Physical slot indices may be reused after removal, but the //! generation counter prevents ABA hazards //! - `len()` tracks live entries, not `slots.len()`