492     void move_construct(iterator dest, const TElement& source)  in move_construct()  argument
494         new(static_cast<void*>(dest)) TElement(source);  in move_construct()
1047     TIterator dest = first;  in erase()  local
1049     for (; dest != last && source != end(); ++dest, ++source)  in erase()
1051         destroy(dest);  in erase()
1052         move_construct(dest, *source);  in erase()
1055     if (dest != last)  in erase()
1057         destroy_range(dest, last);  in erase()
1062         for (; source != end(); ++dest, ++source)  in erase()
1064             destroy(dest);  in erase()
1065             move_construct(dest, *source);  in erase()
1067         destroy_range(dest, end());  in erase()
1070     m_End = dest;  in erase()