The type system can express thread-safety. If you try to touch a data structure from a wrong thread, it will stop you at compile time. You don't need to fuzz s

The type system can express thread-safety. If you try to touch a data structure from a wrong thread, it will stop you at compile time. You don't need to fuzz such problems under a sanitizer. You have a compile-time guarantee for your entire codebase and even your dependencies. If you try to use a thread-unsafe library from a parallelized code, it won't compile, and it will show you exactly which field of which struct needs to be wrapped in atomic or mutex to work (at this point people say "but what about deadlocks!?". They are very easy to track down compared to heisenbug memory corruption.) This makes parallelization of code relatively easy and way more reliable. Rust markets this as "Fearless concurrency".