Implicit object creation behaves somehow like placement new-expression (see CWG2533). So it seems to me that implicit object creation can also reuse storage.

However, we haven't mentioned this in [basic.life]. Do we need some clarification? Should we clarify this editorially?