CWG3111 Template parameter objects of array type

Author: eisenwave

source/meta.tex

@@ -4124,6 +4124,10 @@
 \begin{codeblock}
 if constexpr (is_annotation(@$R$@)) {
   return @$C$@;
+} else if constexpr (is_array_type(type_of(@$R$@))) {
+  return reflect_constant_array([: @$R$@ :]);
+} else if constexpr (is_function_type(type_of(@$R$@))) {
+  return reflect_function([: @$R$@ :]);
 } else {
   return reflect_constant([: @$R$@ :]);
 }

source/templates.tex

@@ -496,15 +496,21 @@
 \end{itemize}
 
 \pnum
+Certain constructs refer to template parameter objects,
+which are distinct objects with static storage duration and non-volatile const type.
+No two such objects have template-argument-equivalent values\iref{temp.type}.
 An \grammarterm{id-expression} naming
 a constant template parameter of class type \tcode{T}
-denotes a static storage duration object of type \tcode{const T},
-known as a \defn{template parameter object},
-which is template-argument-equivalent\iref{temp.type} to
+denotes the template parameter object of type \tcode{const T},
+which is template-argument-equivalent to
 the corresponding template argument
 after it has been converted
 to the type of the template parameter\iref{temp.arg.nontype}.
-No two template parameter objects are template-argument-equivalent.
+\begin{note}
+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.
+\end{note}
 \begin{note}
 If an \grammarterm{id-expression} names
 a non-reference constant template parameter,