34   requires(const _In __i) {  in requires()  argument
38     { *__i } -> same_as<iter_reference_t<_In>>;  in requires()
39     { ranges::iter_move(__i) } -> same_as<iter_rvalue_reference_t<_In>>;  in requires()
73   requires(_Ip __i) {
76     { ++__i } -> same_as<_Ip&>;   // not required to be equality-preserving
77     __i++;                        // not required to be equality-preserving
85   requires(_Ip __i) {  in requires()  argument
86     { __i++ } -> same_as<_Ip>;  in requires()
92   requires(_Ip __i) {  in requires()  argument
93     { *__i } -> __can_reference;  in requires()
111   requires(const _Ip& __i, const _Sp& __s) {
112     { __s - __i } -> same_as<iter_difference_t<_Ip>>;
113     { __i - __s } -> same_as<iter_difference_t<_Ip>>;
146   requires(_Ip __i) {  in requires()  argument
147     { --__i } -> same_as<_Ip&>;  in requires()
148     { __i-- } -> same_as<_Ip>;  in requires()
157   requires(_Ip __i, const _Ip __j, const iter_difference_t<_Ip> __n) {  in requires()  argument
158     { __i += __n } -> same_as<_Ip&>;  in requires()
161     { __i -= __n } -> same_as<_Ip&>;  in requires()
172   requires(const _Ip& __i) {  in requires()  argument
173     { _VSTD::to_address(__i) } -> same_as<add_pointer_t<iter_reference_t<_Ip>>>;  in requires()
177 concept __has_arrow = input_iterator<_Ip> && (is_pointer_v<_Ip> || requires(_Ip __i) { __i.operator…