Hacker News Reader

If the moved value still is not allowed to be read or mutated while borrowed elsewere I don't trivially see the issue.

But how could you statically check that?

I don't see how it would be different if the owner change, as long as the borrow takes precedence.