cpp/named req/DefaultInsertable

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

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

where is identical to ,

the following expression is well-formed:

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.