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.