Ik ben ervan overtuigd dat het mogelijk is om een borrow checker allocator te bouwen met behulp van zig comptime, maar ik heb nog geen idee hoe precies.