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

Author: jensmaurer

source/basic.tex

@@ -4696,6 +4696,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

@@ -17957,7 +17957,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}.
@@ -17985,7 +17985,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
 
@@ -18199,7 +18199,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
 
@@ -18234,7 +18234,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
 
@@ -18650,7 +18650,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}.