> Type checking and lifetime ownership eliminate some, but not all of them.

They actually remove certain classes completely. E.g. lifetime ownership in Rust removes all bugs related to the reason why it is in the code syntax (a.k.a. lifetime markers remove use-after-free completely in Rust.)

▲

mungaihaha 3 days ago | parent [-]

Almost like how RAII in C++ does it?

▲

nicce 3 days ago | parent [-]

RAII in C++ is optional and not enforced everywhere. It certainly helps if you use it. In Rust you can't turn it off.

	▲	mungaihaha 2 days ago \| parent [-]
		unsafe?