[throwawaymaths]

I think a static borrow checker tool is very likely going to be in the future of zig ecosystem (unlikely to be in the mainline, but that's okay), especially after the intermediate representations stabilize.

[noodledoodletwo]

I'll believe it when I see it hit 1.0 and has a healthy user base.