Someone will eventually build a static safety checker for zig. No reason memory safety has to be in the compiler.