Skip to content

Commit 8ff31fa

Browse files
committed
[memory.syn] Fixed misspelled "nothrow-sized-sentinel-for".
This was a misapplication of P3179R9.
1 parent 91b4bf8 commit 8ff31fa

File tree

1 file changed

+11
-8
lines changed

1 file changed

+11
-8
lines changed

source/memory.tex

Lines changed: 11 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -232,7 +232,8 @@
232232
constexpr I uninitialized_default_construct_n(I first, // freestanding
233233
iter_difference_t<I> n);
234234

235-
template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{nothrow-random-access-iterator}@ I, @\exposconcept{nothrow-sentinel-for}@<I> S>
235+
template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{nothrow-random-access-iterator}@ I,
236+
@\exposconcept{nothrow-sized-sentinel-for}@<I> S>
236237
requires @\libconcept{default_initializable}@<iter_value_t<I>>
237238
I uninitialized_default_construct(Ep&& exec, I first, S last); // freestanding-deleted,
238239
// see \ref{algorithms.parallel.overloads}
@@ -276,7 +277,8 @@
276277
constexpr I uninitialized_value_construct_n(I first, // freestanding
277278
iter_difference_t<I> n);
278279

279-
template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{nothrow-random-access-iterator}@ I, @\exposconcept{nothrow-sentinel-for}@<I> S>
280+
template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{nothrow-random-access-iterator}@ I,
281+
@\exposconcept{nothrow-sized-sentinel-for}@<I> S>
280282
requires @\libconcept{default_initializable}@<iter_value_t<I>>
281283
I uninitialized_value_construct(Ep&& exec, I first, S last); // freestanding-deleted,
282284
// see \ref{algorithms.parallel.overloads}
@@ -333,7 +335,7 @@
333335
O ofirst, S olast);
334336

335337
template<@\exposconcept{execution-policy}@ Ep, @\libconcept{random_access_iterator}@ I, @\libconcept{sized_sentinel_for}@<I> S1,
336-
@\exposconcept{nothrow-random-access-iterator}@ O, @\exposconcept{nothrow-sentinel-for}@<O> S2>
338+
@\exposconcept{nothrow-random-access-iterator}@ O, @\exposconcept{nothrow-sized-sentinel-for}@<O> S2>
337339
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
338340
uninitialized_copy_result<I, O>
339341
uninitialized_copy(Ep&& exec, I ifirst, S1 ilast, // freestanding-deleted,
@@ -345,7 +347,7 @@
345347
uninitialized_copy(Ep&& exec, IR&& in_range, OR&& out_range); // freestanding-deleted,
346348
// see \ref{algorithms.parallel.overloads}
347349
template<@\exposconcept{execution-policy}@ Ep, @\libconcept{random_access_iterator}@ I, @\exposconcept{nothrow-random-access-iterator}@ O,
348-
@\exposconcept{nothrow-sentinel-for}@<O> S>
350+
@\exposconcept{nothrow-sized-sentinel-for}@<O> S>
349351
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
350352
uninitialized_copy_n_result<I, O>
351353
uninitialized_copy_n(Ep&& exec, I ifirst, iter_difference_t<I> n, // freestanding-deleted,
@@ -395,7 +397,7 @@
395397
O ofirst, S olast);
396398

397399
template<@\exposconcept{execution-policy}@ Ep, @\libconcept{random_access_iterator}@ I, @\libconcept{sized_sentinel_for}@<I> S1,
398-
@\exposconcept{nothrow-random-access-iterator}@ O, @\exposconcept{nothrow-sentinel-for}@<O> S2>
400+
@\exposconcept{nothrow-random-access-iterator}@ O, @\exposconcept{nothrow-sized-sentinel-for}@<O> S2>
399401
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_rvalue_reference_t<I>>
400402
uninitialized_move_result<I, O>
401403
uninitialized_move(Ep&& exec, I ifirst, S1 ilast, // freestanding-deleted,
@@ -408,7 +410,7 @@
408410
// see \ref{algorithms.parallel.overloads}
409411

410412
template<@\exposconcept{execution-policy}@ Ep, @\libconcept{random_access_iterator}@ I,
411-
@\exposconcept{nothrow-random-access-iterator}@ O, @\exposconcept{nothrow-sentinel-for}@<O> S>
413+
@\exposconcept{nothrow-random-access-iterator}@ O, @\exposconcept{nothrow-sized-sentinel-for}@<O> S>
412414
requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_rvalue_reference_t<I>>
413415
uninitialized_move_n_result<I, O>
414416
uninitialized_move_n(Ep&& exec, I ifirst, iter_difference_t<I> n, // freestanding-deleted,
@@ -446,7 +448,7 @@
446448
iter_difference_t<I> n, const T& x);
447449

448450
template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{nothrow-random-access-iterator}@ I,
449-
@\exposconcept{nothrow-sentinel-for}@<I> S, class T>
451+
@\exposconcept{nothrow-sized-sentinel-for}@<I> S, class T>
450452
requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
451453
I uninitialized_fill(Ep&& exec, I first, S last, const T& x); // freestanding-deleted,
452454
// see \ref{algorithms.parallel.overloads}
@@ -502,7 +504,8 @@
502504
requires @\libconcept{destructible}@<iter_value_t<I>>
503505
constexpr I destroy_n(I first, iter_difference_t<I> n) noexcept; // freestanding
504506

505-
template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{nothrow-random-access-iterator}@ I, @\exposconcept{nothrow-sentinel-for}@<I> S>
507+
template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{nothrow-random-access-iterator}@ I,
508+
@\exposconcept{nothrow-sized-sentinel-for}@<I> S>
506509
requires @\libconcept{destructible}@<iter_value_t<I>>
507510
I destroy(Ep&& exec, I first, S last) noexcept; // freestanding-deleted,
508511
// see \ref{algorithms.parallel.overloads}

0 commit comments

Comments
 (0)