cpp/named req/Erasable

Specifies that an object of the type can be destroyed by a given.

Requirements
The type is  from 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, except that no allocator object needs to be created, and user-defined specializations of std are not instantiated.