Do note that I wasn&#x27;t proposing to invalidate the memory-address handle contained in p; but rather to <i>lexically</i> invalidate p itself, such that it would no longer be legal for it to occur as an rvalue until a new value was assigned to it as an lvalue.<p>You know, like Rust.