The thing is anything which can break your code implicitly in messed up ways like memory violations require unsafe code which if possible should be avoided and

The thing is anything which can break your code implicitly in messed up ways like memory violations require unsafe code which if possible should be avoided and most important makes it easier to pinpoint what to review if you run into unexpected strange bugs. Sure reviewing unsafe code isn't perfectly ready often it relies on invariants uphold outside of the unsafe blocks (in the same type). Still much better then having to review everything ;=)