True but since I can't find this "aliasing" documented in delete it has the disadvantage of an implementation detail.

Though I don't expect it to be changed ever, since it's a safe performance gain.

edit

And more importantly the code wouldn't break if this was changed, only slow down.