https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95349
--- Comment #19 from Andrew Downing <andrew2085 at gmail dot com> --- Not that it would make a difference in this particular situation, but is the intent of P0593R6 to only allow implicitly creating an object in the relevant storage location where one hasn't already been implicitly or explicitly created? e.g. could the first memcpy implicitly create a double object in storage? Doing so would result in the same behavior in this situation, I'm not sure if that would be considered more defined. I'm also not sure if there could be other situations where implicitly creating a new object where another object exists would result in more defined, but unintended behavior.