When Rust's borrow checker is happy, there definitely aren't data races.

It optimizers for low false-negatives over false-positives.

That means it's an insufferable nag… but once you make it happy, you know that a certain class of errors are impossible in what you built.