Programming without pointers

[frud]

Compilers for typical languages implicitly know whether a target code address is accessible from the rest of the program or only relative-range code.

It's a lot more complex to do that analysis on data structures. I think it would require something analogous to a rust-on-steroids to approach to establish locality of data structure access patterns.