[Boost-users] circular_buffer: rotate() vs erase_begin() for scalars