I believe that would be impossible to implement without never reusing addresses or actually bolting on a GC.

If you never reuse addresses, long running programs will have some trouble ahead.

Oh, it's not even that simple because you'd have to make access to the region atomic.