P3217R0 Adjoints to "Enabling list-initialization for algorithms": find_last

Author: burblebee

Diff for: source/algorithms.tex

@@ -3766,10 +3766,12 @@
 
 \indexlibraryglobal{find_last}%
 \begin{itemdecl}
-template<@\libconcept{forward_iterator}@ I, @\libconcept{sentinel_for}@<I> S, class T, class Proj = identity>
+template<@\libconcept{forward_iterator}@ I, @\libconcept{sentinel_for}@<I> S, class Proj = identity,
+         class T = projected_value_t<I, Proj>>
   requires @\libconcept{indirect_binary_predicate}@<ranges::equal_to, projected<I, Proj>, const T*>
   constexpr subrange<I> ranges::find_last(I first, S last, const T& value, Proj proj = {});
-template<@\libconcept{forward_range}@ R, class T, class Proj = identity>
+template<@\libconcept{forward_range}@ R, class Proj = identity,
+         class T = projected_value_t<iterator_t<R>, Proj>>
   requires @\libconcept{indirect_binary_predicate}@<ranges::equal_to, projected<iterator_t<R>, Proj>, const T*>
   constexpr borrowed_subrange_t<R> ranges::find_last(R&& r, const T& value, Proj proj = {});
 template<@\libconcept{forward_iterator}@ I, @\libconcept{sentinel_for}@<I> S, class Proj = identity,