[std] Introduce the label 'term.layout.compatible.type'

Author: jensmaurer

source/basic.tex

@@ -4744,9 +4744,9 @@
 \end{note}
 
 \pnum
-\indextext{layout-compatible type}%
+\label{term.layout.compatible.type}%
 Two types \cvqual{cv1} \tcode{T1} and \cvqual{cv2} \tcode{T2} are
-\defn{layout-compatible} types
+\defnadjx{layout-compatible}{types}{type}
 if \tcode{T1} and \tcode{T2} are the same type,
 layout-compatible enumerations\iref{dcl.enum}, or
 layout-compatible standard-layout class types\iref{class.mem}.

source/classes.tex

@@ -812,7 +812,7 @@
 Two standard-layout unions are layout-compatible if they
 have the same number of non-static data members and corresponding
 non-static data members (in any order) have layout-compatible
-types\iref{basic.types}.
+types\iref{term.layout.compatible.type}.
 
 \pnum
 In a standard-layout union with an active member\iref{class.union}

source/utilities.tex

@@ -18588,7 +18588,7 @@
 \indexlibraryglobal{is_layout_compatible}%
 \tcode{template<class T, class U>}\br
  \tcode{struct is_layout_compatible;}                 &
- \tcode{T} and \tcode{U} are layout-compatible\iref{basic.types}    &
+ \tcode{T} and \tcode{U} are layout-compatible\iref{term.layout.compatible.type}    &
  \tcode{T} and \tcode{U} shall be complete types,
  \cv{}~\keyword{void},
  or arrays of unknown bound.                \\ \rowsep