People massively overestimate Rust's "safety" - it has a very nice approach to managing data races, and. that's it.
It still, like every other language/tool we have that shares state between threads, has race conditions, for example.
Borrow checker aside, I would like to think that its type system inherently makes it safer than a language like C.
That is a confidently incorrect assertion.
Borrow checker aside, I would like to think that its type system inherently makes it safer than a language like C.