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

Author: jensmaurer

source/basic.tex

@@ -4677,6 +4677,7 @@
 \end{note}
 
 \pnum
+\label{term.object.type}%
 An \defn{object type} is a (possibly cv-qualified) type that is not
 a function type, not a reference type, and not \cv{}~\keyword{void}.
 

source/lib-intro.tex

@@ -1803,7 +1803,7 @@
 {allocator.req.var}
 \topline
 \lhdr{Variable} &   \rhdr{Definition}   \\  \capsep
-\tcode{T, U, C}    &   any \cv-unqualified object type\iref{basic.types}       \\ \rowsep
+\tcode{T, U, C}    &   any \cv-unqualified object type\iref{term.object.type}       \\ \rowsep
 \tcode{X}       &   an allocator class for type \tcode{T}   \\ \rowsep
 \tcode{Y}       &   the corresponding allocator class for type \tcode{U}    \\ \rowsep
 \tcode{XX}      &   the type \tcode{allocator_traits<X>}    \\ \rowsep

source/utilities.tex

@@ -13993,7 +13993,7 @@
 
 \pnum
 A \defnx{function object type}{function object!type} is an object
-type\iref{basic.types} that can be the type of the
+type\iref{term.object.type} that can be the type of the
 \grammarterm{postfix-expression} in a function call
 (\ref{expr.call}, \ref{over.match.call}).
 \begin{footnote}
@@ -17922,7 +17922,7 @@
 \indexlibraryglobal{is_object}%
 \tcode{template<class T>}\br
  \tcode{struct is_object;}              &
- \tcode{T} is an object type\iref{basic.types}                            &   \\ \rowsep
+ \tcode{T} is an object type\iref{term.object.type}                    &   \\ \rowsep
 \indexlibraryglobal{is_scalar}%
 \tcode{template<class T>}\br
  \tcode{struct is_scalar;}              &