Skip to content

Commit 1e15ae5

Browse files
committed
[allocator.requirements.general] Remove redundant template syntax
In the Cpp17Allocator requirements, all identifiers name specific types, even if they are template instantiations. Hence, all use of `typename`, `.template`, and `::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. The majority of the wording throughout this subclause already (correctly) avoids use of these redundant keywords. This PR brings the title rows into agreement with the body text, and fixes one outstanding redundant use of `::template`.
1 parent 842424b commit 1e15ae5

File tree

1 file changed

+15
-15
lines changed

1 file changed

+15
-15
lines changed

source/lib-intro.tex

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -2020,7 +2020,7 @@
20202020
defaults for different requirements than the primary template.
20212021

20222022
\begin{itemdecl}
2023-
typename X::pointer
2023+
X::pointer
20242024
\end{itemdecl}
20252025

20262026
\begin{itemdescr}
@@ -2030,7 +2030,7 @@
20302030
\end{itemdescr}
20312031

20322032
\begin{itemdecl}
2033-
typename X::const_pointer
2033+
X::const_pointer
20342034
\end{itemdecl}
20352035

20362036
\begin{itemdescr}
@@ -2044,8 +2044,8 @@
20442044
\end{itemdescr}
20452045

20462046
\begin{itemdecl}
2047-
typename X::void_pointer
2048-
typename Y::void_pointer
2047+
X::void_pointer
2048+
Y::void_pointer
20492049
\end{itemdecl}
20502050

20512051
\begin{itemdescr}
@@ -2061,8 +2061,8 @@
20612061
\end{itemdescr}
20622062

20632063
\begin{itemdecl}
2064-
typename X::const_void_pointer
2065-
typename Y::const_void_pointer
2064+
X::const_void_pointer
2065+
Y::const_void_pointer
20662066
\end{itemdecl}
20672067

20682068
\begin{itemdescr}
@@ -2080,7 +2080,7 @@
20802080
\end{itemdescr}
20812081

20822082
\begin{itemdecl}
2083-
typename X::value_type
2083+
X::value_type
20842084
\end{itemdecl}
20852085

20862086
\begin{itemdescr}
@@ -2090,7 +2090,7 @@
20902090
\end{itemdescr}
20912091

20922092
\begin{itemdecl}
2093-
typename X::size_type
2093+
X::size_type
20942094
\end{itemdecl}
20952095

20962096
\begin{itemdescr}
@@ -2106,7 +2106,7 @@
21062106
\end{itemdescr}
21072107

21082108
\begin{itemdecl}
2109-
typename X::difference_type
2109+
X::difference_type
21102110
\end{itemdecl}
21112111

21122112
\begin{itemdescr}
@@ -2122,7 +2122,7 @@
21222122
\end{itemdescr}
21232123

21242124
\begin{itemdecl}
2125-
typename X::template rebind<U>::other
2125+
X::rebind<U>::other
21262126
\end{itemdecl}
21272127

21282128
\begin{itemdescr}
@@ -2133,7 +2133,7 @@
21332133
\pnum
21342134
\ensures
21352135
For all \tcode{U} (including \tcode{T}),
2136-
\tcode{Y::template rebind<T>::other} is \tcode{X}.
2136+
\tcode{Y::rebind<T>::other} is \tcode{X}.
21372137

21382138
\pnum
21392139
\remarks
@@ -2578,7 +2578,7 @@
25782578
\end{itemdescr}
25792579

25802580
\begin{itemdecl}
2581-
typename X::propagate_on_container_copy_assignment
2581+
X::propagate_on_container_copy_assignment
25822582
\end{itemdecl}
25832583

25842584
\begin{itemdescr}
@@ -2600,7 +2600,7 @@
26002600
\end{itemdescr}
26012601

26022602
\begin{itemdecl}
2603-
typename X::propagate_on_container_move_assignment
2603+
X::propagate_on_container_move_assignment
26042604
\end{itemdecl}
26052605

26062606
\begin{itemdescr}
@@ -2622,7 +2622,7 @@
26222622
\end{itemdescr}
26232623

26242624
\begin{itemdecl}
2625-
typename X::propagate_on_container_swap
2625+
X::propagate_on_container_swap
26262626
\end{itemdecl}
26272627

26282628
\begin{itemdescr}
@@ -2644,7 +2644,7 @@
26442644
\end{itemdescr}
26452645

26462646
\begin{itemdecl}
2647-
typename X::is_always_equal
2647+
X::is_always_equal
26482648
\end{itemdecl}
26492649

26502650
\begin{itemdescr}

0 commit comments

Comments
 (0)