: Implicitly creates objects ([intro.object]
) within the denoted region
consisting of an object a
of type T
whose address is p
objects nested within a
The object representation of a
is the contents of the storage prior to the call to start_lifetime_as.
The value of each created object o
of trivially-copyable type U
is determined in the same manner as for a call
is an lvalue of type U
except that the storage is not accessed.