[junon]

That is a part of memory safety, not just type safety. Type safety could fix this form of memory issue, yes.