iter_move(E), if
E has class or enumeration type and
iter_move(E) is a well-formed expression when treated as an unevaluated operand,
where the meaning of
iter_move is established as-if by performing
argument-dependent lookup only (
[basic.lookup.argdep])
.