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

Author: jensmaurer

source/basic.tex

@@ -4703,6 +4703,7 @@
 Scalar types, trivially copyable class types\iref{class.prop},
 arrays of such types, and cv-qualified versions of these
 types are collectively called \defnadjx{trivially copyable}{types}{type}.
+\label{term.trivial.type}%
 Scalar types, trivial class types\iref{class.prop},
 arrays of such types and cv-qualified versions of these
 types are collectively called

source/utilities.tex

@@ -20145,7 +20145,7 @@
 \pnum
 For the purpose of defining the templates in this subclause,
 a function call expression \tcode{declval<T>()} for any type \tcode{T}
-is considered to be a trivial~(\ref{basic.types}, \ref{special}) function call
+is considered to be a trivial~(\ref{term.trivial.type}, \ref{special}) function call
 that is not an odr-use\iref{term.odr.use} of \tcode{declval}
 in the context of the corresponding definition
 notwithstanding the restrictions of~\ref{declval}.
@@ -20191,7 +20191,7 @@
 \indexlibraryglobal{is_trivial}%
 \tcode{template<class T>}\br
  \tcode{struct is_trivial;}                 &
- \tcode{T} is a trivial type\iref{basic.types}     &
+ \tcode{T} is a trivial type\iref{term.trivial.type}     &
  \tcode{remove_all_extents_t<T>} shall be a complete
  type or \cv{}~\keyword{void}.                \\ \rowsep
 
@@ -20405,7 +20405,7 @@
   \tcode{is_constructible_v<T,}\br
   \tcode{Args...>} is \tcode{true} and the variable
   definition for \tcode{is_constructible}, as defined below, is known to call
-  no operation that is not trivial~(\ref{basic.types}, \ref{special}). &
+  no operation that is not trivial~(\ref{term.trivial.type}, \ref{special}). &
   \tcode{T} and all types in the template parameter pack \tcode{Args} shall be complete types,
   \cv{}~\keyword{void}, or arrays of unknown bound. \\ \rowsep
 
@@ -20440,7 +20440,7 @@
   \tcode{struct is_trivially_assignable;} &
   \tcode{is_assignable_v<T, U>} is \tcode{true} and the assignment, as defined by
   \tcode{is_assignable}, is known to call no operation that is not trivial
- ~(\ref{basic.types}, \ref{special}). &
+ ~(\ref{term.trivial.type}, \ref{special}). &
   \tcode{T} and \tcode{U} shall be complete types, \cv{}~\keyword{void},
   or arrays of unknown bound. \\ \rowsep
 
@@ -20875,7 +20875,7 @@
 \pnum
 For the purpose of defining the templates in this subclause,
 a function call expression \tcode{declval<T>()} for any type \tcode{T}
-is considered to be a trivial~(\ref{basic.types}, \ref{special}) function call
+is considered to be a trivial~(\ref{term.trivial.type}, \ref{special}) function call
 that is not an odr-use\iref{term.odr.use} of \tcode{declval}
 in the context of the corresponding definition
 notwithstanding the restrictions of~\ref{declval}.