diff --git a/source/templates.tex b/source/templates.tex index 0294586daa..986ad82528 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -2126,13 +2126,13 @@ \item The normal form of an expression \tcode{F} of the form \tcode{( E Op ... )} is as follows:\\ - If \tcode{E} names any unexpanded concept template parameter pack, - it shall not name any unexpanded template parameter pack of another kind. + If \tcode{E} contains an unexpanded concept template parameter pack, + it shall not contain an unexpanded template parameter pack of another kind. Let \tcode{E$'$} be the normal form of \tcode{E}. \begin{itemize} \item - If \tcode{E} names - any unexpanded concept template parameter pack \tcode{P$_k$} that + If \tcode{E} contains + an unexpanded concept template parameter pack \tcode{P$_k$} that has corresponding template arguments in the parameter mapping of any atomic constraint (including concept-dependent constraints) of \tcode{E$'$},