related:
Maybe a check similar to what is shown in the video / implemented by clr could catch this statically. (but clr is a research experiment)
You also could check whether valgrind catches this on linux.
Maybe in the future Zig will have some kind of safety check or error?
Not sure whether it would be at compile time or runtime.