That was just an example. But maybe 'x' is a BigInt type that use a memory allocation to store its contents.
The ownership would be transferred to the return value
But again, what would be the drawback(s) of using a pointer instead of transfering the ownership?
Not rethorical, I'm genuinely curious as I used to struggle with the copy vs move decisions, and a bunch of issues with ownership which went all away when I started using pointer/borrowing everywhere.