> addresses are kinda considered observable, and not doing these copies could thus be observable and potentially break some weird code This is certainly the ca

> addresses are kinda considered observable, and not doing these copies could thus be observable and potentially break some weird code This is certainly the case in c++: distinct objects have distinct addresses, so to remove a copy the compiler has to prove that the aliasing is not observable which is hard. But does rust have the same guarantee?