This is not ground which the Zig community is willing to cede to Rust.
I’ve been saying for ages: Zig would greatly benefit from a bit of language support for this kind of thing. A way to annotate (static) properties of code in an open-ended and extensible fashion, and a hook into the build system and compiler internals which facilitates checking those properties. zig validate, in short.