15 //   constexpr see below ranges::fold_left_with_iter(I first, S last, T init, F f);
18 //   constexpr see below ranges::fold_left_with_iter(R&& r, T init, F f);
22 //   constexpr see below ranges::fold_left(I first, S last, T init, F f);
25 //   constexpr see below ranges::fold_left(R&& r, T init, F f);
34 #include <ranges>
60     std::ranges::fold_left_with_iter(r.begin(), r.end(), std::unreachable_sentinel, 0, std::plus());  in requires_input_iterator()
62   static_assert(!requires(bad_range r) { std::ranges::fold_left_with_iter(r, 0, std::plus()); });  in requires_input_iterator()
65     std::ranges::fold_left(r.begin(), r.end(), std::unreachable_sentinel, 0, std::plus());  in requires_input_iterator()
68   static_assert(!requires(bad_range r) { std::ranges::fold_left(r, 0, std::plus()); });  in requires_input_iterator()
74 …static_assert(!requires(S first, S last) { std::ranges::fold_left_with_iter(first, last, 0, std::p…  in requires_sentinel()
75 …static_assert(!requires(S first, S last) { std::ranges::fold_left(first, last, 0, std::plus()); });  in requires_sentinel()
88   static_assert(!requires(std::ranges::subrange<int*, int*> r, F f) {  in requires_copy_constructible_F()
89     std::ranges::fold_left_with_iter(r.begin(), r.end(), 0, std::move(f));  in requires_copy_constructible_F()
91   static_assert(!requires(std::ranges::subrange<int*, int*> r, F f) {  in requires_copy_constructible_F()
92     std::ranges::fold_left_with_iter(r, 0, std::move(f));  in requires_copy_constructible_F()
95   static_assert(!requires(std::ranges::subrange<int*, int*> r, F f) {  in requires_copy_constructible_F()
96     std::ranges::fold_left(r.begin(), r.end(), 0, std::move(f));  in requires_copy_constructible_F()
98 …static_assert(!requires(std::ranges::subrange<int*, int*> r, F f) { std::ranges::fold_left(r, 0, s…  in requires_copy_constructible_F()
108   static_assert(!requires(std::ranges::subrange<int*, int*> r, F f) {  in requires_raw_invocable()
109     std::ranges::fold_left_with_iter(r.begin(), r.end(), 0, f);  in requires_raw_invocable()
111 …static_assert(!requires(std::ranges::subrange<int*, int*> r, F f) { std::ranges::fold_left_with_it…  in requires_raw_invocable()
113   static_assert(!requires(std::ranges::subrange<int*, int*> r, F f) {  in requires_raw_invocable()
114     std::ranges::fold_left(r.begin(), r.end(), 0, f);  in requires_raw_invocable()
116 …static_assert(!requires(std::ranges::subrange<int*, int*> r, F f) { std::ranges::fold_left(r, 0, f…  in requires_raw_invocable()
129   static_assert(!requires(std::ranges::subrange<S*, S*> r, S init, F f) {  in requires_decaying_invoke_result()
130     std::ranges::fold_left_with_iter(r.begin(), r.end(), init, f);  in requires_decaying_invoke_result()
132   static_assert(!requires(std::ranges::subrange<S*, S*> r, S init, F f) {  in requires_decaying_invoke_result()
133     std::ranges::fold_left_with_iter(r, init, f);  in requires_decaying_invoke_result()
136   static_assert(!requires(std::ranges::subrange<S*, S*> r, S init, F f) {  in requires_decaying_invoke_result()
137     std::ranges::fold_left(r.begin(), r.end(), init, f);  in requires_decaying_invoke_result()
139 …static_assert(!requires(std::ranges::subrange<S*, S*> r, S init, F f) { std::ranges::fold_left(r, …  in requires_decaying_invoke_result()
152   static_assert(!requires(std::ranges::subrange<T*, T*> r, T init) {  in requires_movable_init()
153     std::ranges::fold_left_with_iter(r.begin(), r.end(), init, &T::apply);  in requires_movable_init()
155   static_assert(!requires(std::ranges::subrange<T*, T*> r, T init) {  in requires_movable_init()
156     std::ranges::fold_left_with_iter(r, init, &T::apply);  in requires_movable_init()
158   static_assert(!requires(std::ranges::subrange<T*, T*> r, T init) {  in requires_movable_init()
159     std::ranges::fold_left(r.begin(), r.end(), init, &T::apply);  in requires_movable_init()
161 …static_assert(!requires(std::ranges::subrange<T*, T*> r, T init) { std::ranges::fold_left(r, init,…  in requires_movable_init()
178   static_assert(!requires(std::ranges::subrange<T*, T*> r) {  in requires_movable_decayed()
179     std::ranges::fold_left_with_iter(r.begin(), r.end(), 0, std::plus());  in requires_movable_decayed()
181 …static_assert(!requires(std::ranges::subrange<T*, T*> r) { std::ranges::fold_left_with_iter(r, 0, …  in requires_movable_decayed()
183   static_assert(!requires(std::ranges::subrange<T*, T*> r) {  in requires_movable_decayed()
184     std::ranges::fold_left(r.begin(), r.end(), 0, T::apply);  in requires_movable_decayed()
186 …static_assert(!requires(std::ranges::subrange<T*, T*> r) { std::ranges::fold_left(r, 0, std::plus(…  in requires_movable_decayed()
198   static_assert(!requires(std::ranges::subrange<int*, int*> r, T init) {  in requires_init_is_convertible_to_decayed()
199     std::ranges::fold_left_with_iter(r.begin(), r.end(), init, std::plus());  in requires_init_is_convertible_to_decayed()
201   static_assert(!requires(std::ranges::subrange<int*, int*> r, T init) {  in requires_init_is_convertible_to_decayed()
202     std::ranges::fold_left_with_iter(r, init, std::plus());  in requires_init_is_convertible_to_decayed()
205   static_assert(!requires(std::ranges::subrange<int*, int*> r, T init) {  in requires_init_is_convertible_to_decayed()
206     std::ranges::fold_left(r.begin(), r.end(), init, std::plus());  in requires_init_is_convertible_to_decayed()
208   static_assert(!requires(std::ranges::subrange<int*, int*> r, T init) {  in requires_init_is_convertible_to_decayed()
209     std::ranges::fold_left(r, init, std::plus());  in requires_init_is_convertible_to_decayed()
223   static_assert(!requires(std::ranges::subrange<T*, T*> r, int init) {  in requires_invocable_with_decayed()
224     std::ranges::fold_left_with_iter(r.begin(), r.end(), init, std::plus());  in requires_invocable_with_decayed()
226   static_assert(!requires(std::ranges::subrange<T*, T*> r, int init) {  in requires_invocable_with_decayed()
227     std::ranges::fold_left_with_iter(r, init, std::plus());  in requires_invocable_with_decayed()
230   static_assert(!requires(std::ranges::subrange<T*, T*> r, int init) {  in requires_invocable_with_decayed()
231     std::ranges::fold_left(r.begin(), r.end(), init, std::plus());  in requires_invocable_with_decayed()
233 …static_assert(!requires(std::ranges::subrange<T*, T*> r, int init) { std::ranges::fold_left(r, ini…  in requires_invocable_with_decayed()
248   static_assert(!requires(std::ranges::subrange<T*, T*> r, T init) {  in requires_assignable_from_invoke_result()
249     std::ranges::fold_left_with_iter(r.begin(), r.end(), init, std::plus());  in requires_assignable_from_invoke_result()
251   static_assert(!requires(std::ranges::subrange<T*, T*> r, T init) {  in requires_assignable_from_invoke_result()
252     std::ranges::fold_left_with_iter(r, init, std::plus());  in requires_assignable_from_invoke_result()
255   static_assert(!requires(std::ranges::subrange<T*, T*> r, T init) {  in requires_assignable_from_invoke_result()
256     std::ranges::fold_left(r.begin(), r.end(), init, std::plus());  in requires_assignable_from_invoke_result()
258 …static_assert(!requires(std::ranges::subrange<T*, T*> r, T init) { std::ranges::fold_left(r, init,…  in requires_assignable_from_invoke_result()