From 529dff983f06162d6dcff374e46b8f99ded05e92 Mon Sep 17 00:00:00 2001
From: Dawn Perchik <dawn@brightsidecomputing.com>
Date: Sun, 5 Apr 2026 22:52:05 -0700
Subject: [PATCH] CWG3141 Unique objects from define_static_array

---
 source/basic.tex     | 3 +--
 source/templates.tex | 2 ++
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/source/basic.tex b/source/basic.tex
index f82ae47e77..7aac6e400e 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -3646,8 +3646,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 9fe8e5e420..70c42afb2c 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -532,6 +532,8 @@
 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
+is not unique among all other in-lifetime objects\iref{intro.object}.
 \end{note}
 \begin{note}
 If an \grammarterm{id-expression} names