Comment by throwawaymaths

even so it seems like it would eventually be possible to do more safety analysis for zig, if not in the compiler itself:

https://github.com/ityonemo/clr