I'm pretty confident that zig will eventually get a static lifetime analysis tool. Such a thing should be writeable, because a human can reason about code. We

I'm pretty confident that zig will eventually get a static lifetime analysis tool. Such a thing should be writeable, because a human can reason about code. We also know that for example SEL4 does "sort-of" static analysis on c and gives memory safety guarantees.