diff --git a/source/algorithms.tex b/source/algorithms.tex index 74ac223b21..6f0001c5ca 100644 --- a/source/algorithms.tex +++ b/source/algorithms.tex @@ -6531,15 +6531,15 @@ ranges::copy_if(R&& r, O result, Pred pred, Proj proj = {}); template<@\exposconcept{execution-policy}@ Ep, @\libconcept{random_access_iterator}@ I, @\libconcept{sized_sentinel_for}@ S, - @\libconcept{random_access_iterator}@ O, @\libconcept{sized_sentinel_for}@ OutS, - class Proj = identity, @\libconcept{indirect_unary_predicate}@> Pred> + @\libconcept{random_access_iterator}@ O, @\libconcept{sized_sentinel_for}@ OutS, + class Proj = identity, @\libconcept{indirect_unary_predicate}@> Pred> requires @\libconcept{indirectly_copyable}@ ranges::copy_if_result ranges::copy_if(Ep&& exec, I first, S last, O result, OutS result_last, Pred pred, Proj proj = {}); template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R, @\exposconcept{sized-random-access-range}@ OutR, - class Proj = identity, - @\libconcept{indirect_unary_predicate}@, Proj>> Pred> + class Proj = identity, + @\libconcept{indirect_unary_predicate}@, Proj>> Pred> requires @\libconcept{indirectly_copyable}@, iterator_t> ranges::copy_if_result, borrowed_iterator_t> ranges::copy_if(Ep&& exec, R&& r, OutR&& result_r, Pred pred, Proj proj = {});