I read that as a comment about a hypothetical perfect compiler.
One that completely complied with The Standard, and had perfect optimization.
Such a compiler would nevertheless be allowed to fiddle with the iterator and be compliant.
While providing an iterator that could not be compared to itself (not releiably).