From 6bcf49d1da7f5f3cbd6e45d6a152887d9c950d93 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 | 3 +++
 2 files changed, 4 insertions(+), 2 deletions(-)

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