[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.