News for hackers. Stuff that matters.

A comment on Some notes on Rust, mutable aliasing and formal verification. Parent comment

Re:Some notes on Rust, mutable aliasing and formal verification by iknowstuff on Thursday May 16, 2024 @02:20PM (#40381500)
Only if the map is Sync :) and also, if map is a &mut, not even another thread will modify it while you hold it that reference.
[ Parent | on HN ]
Re:Some notes on Rust, mutable aliasing and formal verification by vlovich123 on Thursday May 16, 2024 @03:29PM (#40382169)
Correct, I'm just highlighting that there are gaps in Rust's ownership model where local reasoning fails. They're fairly narrow compared to other languages, but you do have to know about them.
[ Parent | on HN ]