cpp/named req/MoveInsertable

Specifies that an object of the type can be constructed into uninitialized storage from an rvalue of that type by a given allocator.

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

where is identical to ,

the following expression is well-formed:

And after evaluation, the value of is equivalent to the value formerly held by  ( remains valid, but is in an unspecified state.)

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.