148   requires(_Ip __i) {  in requires()  argument
149     {   *__i } -> __can_reference;  in requires()
150     {  ++__i } -> same_as<_Ip&>;  in requires()
151     { *__i++ } -> __can_reference;  in requires()
159   requires(_Ip __i) {  in requires()  argument
164     typename common_reference_t<decltype(*__i++)&&,  in requires()
176   requires(_Ip __i) {  in requires()  argument
177     {  __i++ } -> convertible_to<_Ip const&>;  in requires()
178     { *__i++ } -> same_as<iter_reference_t<_Ip>>;  in requires()
184   requires(_Ip __i) {  in requires()  argument
185     {  --__i } -> same_as<_Ip&>;  in requires()
186     {  __i-- } -> convertible_to<_Ip const&>;  in requires()
187     { *__i-- } -> same_as<iter_reference_t<_Ip>>;  in requires()
194   requires(_Ip __i, typename incrementable_traits<_Ip>::difference_type __n) {  in requires()  argument
195     { __i += __n } -> same_as<_Ip&>;  in requires()
196     { __i -= __n } -> same_as<_Ip&>;  in requires()
197     { __i +  __n } -> same_as<_Ip>;  in requires()
198     { __n +  __i } -> same_as<_Ip>;  in requires()
199     { __i -  __n } -> same_as<_Ip>;  in requires()
200 …{ __i -  __i } -> same_as<decltype(__n)>; // NOLINT(misc-redundant-expression) ; This is llvm.org/…  in requires()
201     {  __i[__n]  } -> convertible_to<iter_reference_t<_Ip>>;  in requires()
254   requires requires(_Ip& __i) { __i.operator->(); } && (!__has_member_pointer<_Ip>)