Re 1: that doesn't help with Zig code that doesn't use your annotations. In contrast, Rust forces all code to use annotations.

Re 2: that still looks to me to be a runtime check.