I can see a reason to go both ways, so I would probably go with the one that avoids setting a precedent (breaking the "no key = no coins" rule). After all, this is already the case if you generate a Bitcoin wallet and forget to save the private-key.