@newhinton @david_chisnall An analogy popped up into my head reading this:

Ownership implies the ability to pass it on. Code generated without deliberation tends to fail that test.