Я убежден в возможности создания аллокатора с проверкой заимствований с использованием comptime в Zig, но у меня пока нет четкой идеи, как именно это сделать.