This was a primary design goal for Rust! To prevent data races (and UAF and other types of memory unsafety) by construction through the type system.