#include <iterator_concepts.h>
template<typename _Iter>
&& requires(_Iter __i)
{
typename iter_difference_t<_Iter>;
requires __detail::__is_signed_integer_like<iter_difference_t<_Iter>>;
{ ++__i } -> same_as<_Iter&>;
__i++;
}
Requirements on types that can be incremented with ++.
Requirements on types that can be incremented with ++.
Definition at line 619 of file iterator_concepts.h.