I wrote up some ideas that I had about observing changes to move-only struct instances, and I'm posting the link here not to insist that anyone give it more consideration than they care to, but just to make sure that its existence is visible here on this more prominent thread for anyone who is interested but would have missed it otherwise.