Lines Matching defs:requires

77 concept __decrementable = incrementable<_Iter> && requires(_Iter __i) {
85     requires(_Iter __i, const _Iter __j, const _IotaDiffT<_Iter> __n) {
103   requires __weakly_equality_comparable_with<_Start, _BoundSentinel> && copyable<_Start>
123       requires default_initializable<_Start>
140       requires incrementable<_Start>
148       requires __decrementable<_Start>
155       requires __decrementable<_Start>
163       requires __advanceable<_Start>
178       requires __advanceable<_Start>
193       requires __advanceable<_Start>
199       requires equality_comparable<_Start>
205       requires totally_ordered<_Start>
211       requires totally_ordered<_Start>
217       requires totally_ordered<_Start>
223       requires totally_ordered<_Start>
229       requires totally_ordered<_Start> && three_way_comparable<_Start>
235       requires __advanceable<_Start>
242       requires __advanceable<_Start>
248       requires __advanceable<_Start>
255       requires __advanceable<_Start>
287       requires sized_sentinel_for<_BoundSentinel, _Start>
294       requires sized_sentinel_for<_BoundSentinel, _Start>
305     requires default_initializable<_Start>
321     requires same_as<_Start, _BoundSentinel>
325     requires same_as<_BoundSentinel, unreachable_sentinel_t>
329     requires(!same_as<_Start, _BoundSentinel> && !same_as<_BoundSentinel, unreachable_sentinel_t>)
342     requires same_as<_Start, _BoundSentinel>
350     requires(same_as<_Start, _BoundSentinel> && __advanceable<_Start>) ||
366   requires(!__integer_like<_Start> || !__integer_like<_BoundSentinel> ||