No, it would fundamentally change how Zig works.
replyno, it would not. If you do not believe me, you should try out the repo.
replythe architecture doesn't make sense. MIRI doesn't perform static analysis on MIR. It is, as the name says, an interpreter. The borrow checker is entirely different from miri.
replyRust's borrow checker requires lifetime annotations. Zig code doesn't contain any such annotations. How does your design handle this?