You might not be able to express the ownership in the way that can be checked statically, so quite possibly this would then be downgraded to a runtime error (th

You might not be able to express the ownership in the way that can be checked statically, so quite possibly this would then be downgraded to a runtime error (that could be handled with a panic)—but not undefined behavior.