Сохранение разыменования итератора C++, равенство ⇐ C++

[Anonymous]

Есть ли какое-либо формальное утверждение в стандарте C++ (или другом заслуживающем доверия источнике), которое требует, чтобы итератор возвращал одно и то же значение при двойном разыменовании?
Я вижу, что равенство_сохранение явно не требует это (или я упускаю суть?).
Итак, какое утверждение в стандарте точно подразумевает это ожидание:
auto it = /* some iterator */;
auto v1 = *it;
auto v2 = *it;
assert(v1 == v2);


Подробнее здесь: https://stackoverflow.com/questions/790 ... eservation