[basic.types.general] Introduce term to xref implicit-lifetime type (#6591)

Author: AlisdairM

source/basic.tex

@@ -3338,7 +3338,7 @@
 within a specified region of storage.
 For each operation that is specified as implicitly creating objects,
 that operation implicitly creates and starts the lifetime of
-zero or more objects of implicit-lifetime types\iref{basic.types.general}
+zero or more objects of implicit-lifetime types\iref{term.implicit.lifetime.type}
 in its specified region of storage
 if doing so would result in the program having defined behavior.
 If no such set of objects would give the program defined behavior,
@@ -4833,6 +4833,7 @@
 types\iref{class.prop}, arrays of such types, and
 cv-qualified versions of these types
 are collectively called \defnadjx{standard-layout}{types}{type}.
+\label{term.implicit.lifetime.type}%
 Scalar types, implicit-lifetime class types\iref{class.prop},
 array types, and cv-qualified versions of these types
 are collectively called \defnadjx{implicit-lifetime}{types}{type}.

source/memory.tex

@@ -881,7 +881,7 @@
 \begin{itemdescr}
 \pnum
 \mandates
-\tcode{T} is an implicit-lifetime type\iref{basic.types.general}
+\tcode{T} is an implicit-lifetime type\iref{term.implicit.lifetime.type}
 and not an incomplete type\iref{term.incomplete.type}.
 
 \pnum

source/meta.tex

@@ -1209,7 +1209,7 @@
 \indexlibraryglobal{is_implicit_lifetime}%
 \tcode{template<class T>}\br
   \tcode{struct is_implicit_lifetime;} &
-  \tcode{T} is an implicit-lifetime type\iref{basic.types.general}. &
+  \tcode{T} is an implicit-lifetime type\iref{term.implicit.lifetime.type}. &
   \tcode{T} shall be an array type,
   a complete type, or \cv{}~\keyword{void}.  \\ \rowsep