I mean, data races are undefined behavior in C++ the same way that they are in unsafe Rust. The languages are equivalent there.

▲

bluGill 14 hours ago | parent [-]

Only if there is a data race - if there is no data race C++ lets you do it. Rust doesn't let you do things that don't have a race but cannot be proven within the context of rust to not have a data race.

	▲	steveklabnik 13 hours ago \| parent [-]
		In safe Rust, yes, you must prove it. But in unsafe Rust, it's up to you. It's the exact same thing.