[binary132]

Now that would be a cool first proposal and implementation. I wonder if there’s any prior art in C++ yet.

[aw1621107]

If there is any prior art I'm not aware of it. The problems described in the part I snipped out around how destructive moves would work with class hierarchies sound thorny, for what it's worth.