Fixing developers instead of the tools?

Yes, and that is why unsafe is so hard, because you have not only to write code that has no undefined behavior, but also to write an interface that prevents any user with any mistakes from possibly causing undefined behavior, even if they do things that you document shouldn't be done.