How does Rust enforce memory safety across concurrent threads at compile time?

Rust uses Send and Sync traits to guarantee safe thread transfer and shared access.

Types implementing Send can move across threads. Sync allows safe shared references. The compiler enforces that mutable aliasing cannot occur across threads, eliminating data races at compile time.