From b4a872d948007c81ece2cb6c0ae552a0af617176 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Sat, 29 Mar 2025 15:56:36 +0800
Subject: [PATCH] [algorithm.syn] Fix-up synopsis for `ranges::find_last`

Adds missed corresponding editorial changes in [algorithm.syn] for P3217R0 (which updated `ranges::find_last`).
---
 source/algorithms.tex | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/source/algorithms.tex b/source/algorithms.tex
index 4c85cac4da..1741c1acbd 100644
--- a/source/algorithms.tex
+++ b/source/algorithms.tex
@@ -970,10 +970,12 @@
 
   // \ref{alg.find.last}, find last
   namespace ranges {
-    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> 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> find_last(R&& r, const T& value, Proj proj = {});