LWG4556 Unclear properties of reflection strings

Author: burblebee

source/meta.tex

@@ -3317,8 +3317,17 @@
 \pnum
 Any function in namespace \tcode{std::meta}
 whose return type is \tcode{string_view} or \tcode{u8string_view}
+%FIXME: V should not be \exposid since it's not a declared \expos varible,
+%use math font or \placeholder instead.
 returns an object \exposid{V} such that
 \tcode{\exposid{V}.data()[\exposid{V}.size()]} equals \tcode{'\textbackslash 0'}.
+Each element of the range
+\tcode{\exposid{V}.data() +} \range{0}{\exposid{V}.size()}
+is a potentially non-unique object with static storage duration that
+is usable in constant expressions\iref{intro.object, expr.const};
+a pointer to such an element is not suitable for use as
+a template argument for a constant template parameter of
+pointer type\iref{temp.arg.nontype}.
 \begin{example}
 \begin{codeblock}
 struct C { };