> While Zig has features to do computation at compile time, it lacks features to help make that computation correct. Huh? Zig will reject comptime overflows/u

> While Zig has features to do computation at compile time, it lacks features to help make that computation correct. Huh? Zig will reject comptime overflows/underflows, and you can write suites of inline tests too if you'd like, so whatever you miss at comptime you can constrain using runtime CI-validation at the location of interest.