507     void move_construct(iterator dest, const TElement& source)  in move_construct()  argument
509         new(static_cast<void*>(dest)) TElement(source);  in move_construct()
1066     TIterator dest = first;  in erase()  local
1068     for (; dest != last && source != end(); ++dest, ++source)  in erase()
1070         destroy(dest);  in erase()
1071         move_construct(dest, *source);  in erase()
1074     if (dest != last)  in erase()
1076         destroy_range(dest, last);  in erase()
1081         for (; source != end(); ++dest, ++source)  in erase()
1083             destroy(dest);  in erase()
1084             move_construct(dest, *source);  in erase()
1086         destroy_range(dest, end());  in erase()
1089     m_End = dest;  in erase()