A New Way to Think About Borrow Checking (In Reverse)

I've also had the idea that borrow checking ought to be time symmetric. I wrote about it in my proposal to add destructive move semantics to C:

https://github.com/anordal/rustlike/blob/master/proposals/destructive%20move.md

This is really neat! It feels super elegant. The example with the loop was pure gold, I particularly enjoyed it ;)

An (IMO) neat new application of an existing technique. Hope you all enjoy =)