Zig: Pointer Stability for Linux

It's very wild to me that such a large part of the guarantee in my opinion (doesn't Zig have a debug allocator that could catch the mistake in the example just as well?). Reading the first part of the guarantee in my opinion (doesn't Zig have a debug allocator that could catch the mistake in the example just as well?).