#include <iterator>
#include <vector>
#include <cassert>

int main()
{
    std::vector<int> v = {0, 1, 2};

    decltype(v)::iterator it = v.begin() + 1;

    assert(std::reverse_iterator<decltype(it)>(it).base() == std::next(it));
}