12 //   requires sized_sentinel_for<sentinel_t<Base>, iterator_t<maybe-const<OtherConst, V>>>
17 //   requires sized_sentinel_for<sentinel_t<Base>, iterator_t<maybe-const<OtherConst, V>>>
118   // base is not sized  in testConstraints()
120     using Base = Range<Iter, Sent>;  in testConstraints()  typedef
121     static_assert(!HasMinus<EleSent<Base>, ElemIter<Base>>);  in testConstraints()
122     static_assert(!HasMinus<ElemIter<Base>, EleSent<Base>>);  in testConstraints()
124     static_assert(!HasMinus<EleSent<Base>, EleConstIter<Base>>);  in testConstraints()
125     static_assert(!HasMinus<EleConstIter<Base>, EleSent<Base>>);  in testConstraints()
127     static_assert(!HasMinus<EleConstSent<Base>, EleConstIter<Base>>);  in testConstraints()
128     static_assert(!HasMinus<EleConstIter<Base>, EleConstSent<Base>>);  in testConstraints()
130     static_assert(!HasMinus<EleConstSent<Base>, ElemIter<Base>>);  in testConstraints()
131     static_assert(!HasMinus<ElemIter<Base>, EleConstSent<Base>>);  in testConstraints()
134   // base is sized but not cross const  in testConstraints()
136     using Base = Range<Iter, SizedSent>;  in testConstraints()  typedef
137     static_assert(HasMinus<EleSent<Base>, ElemIter<Base>>);  in testConstraints()
138     static_assert(HasMinus<ElemIter<Base>, EleSent<Base>>);  in testConstraints()
140     static_assert(!HasMinus<EleSent<Base>, EleConstIter<Base>>);  in testConstraints()
141     static_assert(!HasMinus<EleConstIter<Base>, EleSent<Base>>);  in testConstraints()
143     static_assert(HasMinus<EleConstSent<Base>, EleConstIter<Base>>);  in testConstraints()
144     static_assert(HasMinus<EleConstIter<Base>, EleConstSent<Base>>);  in testConstraints()
146     static_assert(!HasMinus<EleConstSent<Base>, ElemIter<Base>>);  in testConstraints()
147     static_assert(!HasMinus<ElemIter<Base>, EleConstSent<Base>>);  in testConstraints()
150   // base is cross const sized  in testConstraints()
152     using Base = Range<Iter, CrossSizedSent>;  in testConstraints()  typedef
153     static_assert(HasMinus<EleSent<Base>, ElemIter<Base>>);  in testConstraints()
154     static_assert(HasMinus<ElemIter<Base>, EleSent<Base>>);  in testConstraints()
156     static_assert(HasMinus<EleSent<Base>, EleConstIter<Base>>);  in testConstraints()
157     static_assert(HasMinus<EleConstIter<Base>, EleSent<Base>>);  in testConstraints()
159     static_assert(HasMinus<EleConstSent<Base>, EleConstIter<Base>>);  in testConstraints()
160     static_assert(HasMinus<EleConstIter<Base>, EleConstSent<Base>>);  in testConstraints()
162     static_assert(HasMinus<EleConstSent<Base>, ElemIter<Base>>);  in testConstraints()
163     static_assert(HasMinus<ElemIter<Base>, EleConstSent<Base>>);  in testConstraints()
170   // base is sized but not cross const  in test()
172     using Base = Range<Iter, SizedSent>;  in test()  typedef
173     Base base{buffer};  in test()  local
174     auto ev         = base | std::views::elements<0>;  in test()
186   // base is cross const sized  in test()
188     using Base = Range<Iter, CrossSizedSent>;  in test()  typedef
189     Base base{buffer};  in test()  local
190     auto ev         = base | std::views::elements<0>;  in test()