Lines Matching defs:requires
74 requires(_Kind == subrange_kind::sized || !sized_sentinel_for<_Sent, _Iter>)
92 requires default_initializable<_Iter>
96 requires _MustProvideSizeAtConstruction
101 requires(_Kind == subrange_kind::sized)
109 requires borrowed_range<_Range> && __convertible_to_non_slicing<iterator_t<_Range>, _Iter> &&
112 requires(!_StoreSize)
116 requires borrowed_range<_Range> && __convertible_to_non_slicing<iterator_t<_Range>, _Iter> &&
119 requires _StoreSize && sized_range<_Range>
123 requires __convertible_to_non_slicing<iterator_t<_Range>, _Iter> &&
126 requires(_Kind == subrange_kind::sized)
130 requires __pair_like_convertible_from<_Pair, const _Iter&, const _Sent&>
136 requires copyable<_Iter>
142 requires(!copyable<_Iter>)
152 requires(_Kind == subrange_kind::sized)
161 requires forward_iterator<_Iter>
174 requires bidirectional_iterator<_Iter>
217 requires((_Index == 0 && copyable<_Iter>) || _Index == 1)
226 requires(_Index < 2)