[std] Introduce the label 'term.literal.type'

Author: jensmaurer

source/basic.tex

@@ -4717,6 +4717,7 @@
 are collectively called \defnadjx{implicit-lifetime}{types}{type}.
 
 \pnum
+\label{term.literal.type}%
 A type is a \defnadj{literal}{type} if it is:
 \begin{itemize}
 \item \cv{}~\keyword{void}; or

source/concepts.tex

@@ -637,7 +637,7 @@
   \tcode{S} is an expression that exchanges the denoted values.
   \tcode{S} is a constant expression if
   \begin{itemize}
-  \item \tcode{T} is a literal type\iref{basic.types},
+  \item \tcode{T} is a literal type\iref{term.literal.type},
   \item both \tcode{E1 = std::move(E2)} and \tcode{E2 = std::move(E1)} are
     constant subexpressions\iref{defns.const.subexpr}, and
   \item the full-expressions of the initializers in the declarations

source/numerics.tex

@@ -197,7 +197,7 @@
 The specializations
 \tcode{complex<float>},
 \tcode{complex<double>}, and
-\tcode{complex<long double>} are literal types\iref{basic.types}.
+\tcode{complex<long double>} are literal types\iref{term.literal.type}.
 
 \pnum
 If the result of a function is not mathematically defined or not in