The perils of pinning

Posted Sep 18, 2022 17:40 UTC (Sun) by fw (subscriber, #26023)
In reply to: The perils of pinning by mb
Parent article: The perils of pinning

Rust can't rip out memory from your machine. Therefore it also technically copies.

Aren't Rust semantics such that the moved-from object becomes invalid as part of the move? What happens in a concrete computer implementation does not really matter for correctness if the abstract machine behaves differently. If the object is gone in the abstract machine, compilers can and will eventually optimize based on the assumption that accesses to it will not happen during the execution of the program.