just staple a borrow checker to zig. it seems pretty doable as per my experiments