From 16c3fc4fd7a4de08df88a038907d9aae0c5833a7 Mon Sep 17 00:00:00 2001
From: Dawn Perchik <dawn@brightsidecomputing.com>
Date: Tue, 2 Jul 2024 00:25:32 -0700
Subject: [PATCH] P3217R0 Adjoints to "Enabling list-initialization for
 algorithms": find_last

---
 source/algorithms.tex | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/source/algorithms.tex b/source/algorithms.tex
index 4e6f9028aa..e0522cf917 100644
--- a/source/algorithms.tex
+++ b/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,