You can't do "redesigning the existing Zig code in a way that eliminates not only the current bugs but also prevents similar ones from happening in the future" without actually changing Zig itself.
Why?
Rumor has it there is a HN submission on the frontpage right now about that very thing: