Ugh, I made a big mistake. I guess we don’t want this operation at all, since we’re trying to discourage people from passing detached objects to delete().
I guess I should roll back this change!