cpp/named req/CopyInsertable

Specifies that an instance of the type can be copy-constructed in-place by a given allocator.

Requirements
The type is  into the container  whose  is identical to  if  is  into, and, given

where is identical to ,

the following expression is well-formed:

And after evaluation, the value of is equivalent to the value of. The value of is unchanged.

If is not allocator-aware or is a std specialization, the term is defined as if  were std, except that no allocator object needs to be created, and user-defined specializations of std are not instantiated.