[iterator.cust] (original) (raw)

(void)iter_­swap(E1, E2), if eitherE1 or E2 has class or enumeration type anditer_­swap(E1, E2) is a well-formed expression with overload resolution performed in a context that includes the declarationtemplate<class I1, class I2> void iter_swap(I1, I2) = delete;and does not include a declaration of ranges​::​iter_­swap.

If the function selected by overload resolution does not exchange the values denoted by E1 and E2, the program is ill-formed, no diagnostic required.