[ObscureScience]

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

[thatxliner]

But how could you statically check that?

[ObscureScience]

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