In this case it is easy to see that p is no longer valid but what about other pointers that points to the same location but not trivially visible for compilers? It won&#x27;t be possible without run time checks or memory system like the one in rust.