diff --git a/source/templates.tex b/source/templates.tex index 0294586daa..9a6ac67ce4 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -8861,14 +8861,12 @@ \end{example} \pnum -A type template argument -\tcode{T}, -a template template argument -\tcode{TT} denoting a class template or an alias template, -a template template argument -\tcode{VV} denoting a variable template or a concept, -or a constant template argument -\tcode{i} +A type template argument \tcode{T}, +a constant template argument \tcode{i}, +a template template argument \tcode{TT} +denoting a class template or an alias template, or +a template template argument \tcode{VV} +denoting a variable template or a concept can be deduced if \tcode{P} and @@ -8896,15 +8894,15 @@ is a non-deduced context in \tcode{P} or \tcode{A}, or is the same non-dependent type in \tcode{P} and \tcode{A}, -\item -\tcode{\opt{TT}} represents either a class template or -a template template parameter, - \item \tcode{\opt{i}} represents an expression that either is an \tcode{i}, is value-dependent in \tcode{P} or \tcode{A}, or -has the same constant value in \tcode{P} and \tcode{A}, and +has the same constant value in \tcode{P} and \tcode{A}, + +\item +\tcode{\opt{TT}} represents either a class template or +a template template parameter, and \item \tcode{\keyword{noexcept}(\opt{i})} represents an