Skip to content

Commit 12b6153

Browse files
lprvtkoeppe
authored andcommitted
[temp.constr.normal] Use "contains (a pack)" instead of "names"
1 parent 5b6307e commit 12b6153

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

source/templates.tex

+4-4
Original file line numberDiff line numberDiff line change
@@ -2126,13 +2126,13 @@
21262126
\item
21272127
The normal form of an expression \tcode{F} of the form \tcode{( E Op ... )}
21282128
is as follows:\\
2129-
If \tcode{E} names any unexpanded concept template parameter pack,
2130-
it shall not name any unexpanded template parameter pack of another kind.
2129+
If \tcode{E} contains an unexpanded concept template parameter pack,
2130+
it shall not contain an unexpanded template parameter pack of another kind.
21312131
Let \tcode{E$'$} be the normal form of \tcode{E}.
21322132
\begin{itemize}
21332133
\item
2134-
If \tcode{E} names
2135-
any unexpanded concept template parameter pack \tcode{P$_k$} that
2134+
If \tcode{E} contains
2135+
an unexpanded concept template parameter pack \tcode{P$_k$} that
21362136
has corresponding template arguments in
21372137
the parameter mapping of any atomic constraint
21382138
(including concept-dependent constraints) of \tcode{E$'$},

0 commit comments

Comments
 (0)