diff --git a/source/basic.tex b/source/basic.tex index e9ce2c1e8e..e54f3f8ec3 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -3623,8 +3623,7 @@ \item the backing array of an initializer list\iref{dcl.init.ref}, or \item - the object introduced by a call to \tcode{std::meta::reflect_constant_array} - or \tcode{std::meta::reflect_constant_string}\iref{meta.define.static}, or + a template parameter object of array type\iref{meta.define.static}, or \item a subobject thereof. \end{itemize} diff --git a/source/templates.tex b/source/templates.tex index 467b190a19..99da87c377 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -531,6 +531,9 @@ There can be template parameter objects of array type\iref{meta.define.static}, but such an object is never denoted by an \grammarterm{id-expression} that names a constant template parameter. +Such an object can have an address that +%FIXME: "in-lifetime" is not a thing. +is not unique among all other in-lifetime objects\iref{intro.object} \end{note} \begin{note} If an \grammarterm{id-expression} names