I'm not very well versed in Rust, but isn't it possible to implement this sort of checked arena allocation in rust using lifetimes? Something like slotmap (http

I'm not very well versed in Rust, but isn't it possible to implement this sort of checked arena allocation in rust using lifetimes? Something like slotmap (https://docs.rs/slotmap/latest/slotmap/ https://docs.rs/slotmap/latest/slotmap/) except all of the pointers/keys have their lifetime tied to the arena/pool/map.