Probably Rust, that's always Rust with this kind of comments...

Java and C# also define what happens during data races enough that you can't break the memory safety guarantees with them.

Or basic software engineering and understanding of what memory safe means.

Memory safety != Data race free

Yes, but Rust gets you both.