From 883e519710f0f06f504955e6a20ea2e0842aa550 Mon Sep 17 00:00:00 2001
From: Alisdair Meredith <alisdairm@me.com>
Date: Wed, 23 Oct 2024 10:14:06 -0400
Subject: [PATCH] [allocator.requirements.general] Remove redundant template
 syntax

In the Cpp17Allocator requirements, all identifiers name specific
types, not type-dependent code in a template, even if they are
template instantiations.  Hence, all use of `::template` is redundant.
Not in the sense of we are awaiting LWG to review P2150 for policy,
but in the sense these have been redundant since C++11, and were
outright ill-formed prior to that.
---
 source/lib-intro.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/lib-intro.tex b/source/lib-intro.tex
index 7d17d8898c..96458fbd04 100644
--- a/source/lib-intro.tex
+++ b/source/lib-intro.tex
@@ -2234,7 +2234,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-typename X::template rebind<U>::other
+typename X::rebind<U>::other
 \end{itemdecl}
 
 \begin{itemdescr}