From d7d3511134014abb5ae51bf85a2aba0cc76c4375 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tomasz=20Kami=C5=84ski?= <tomaszkam@gmail.com>
Date: Fri, 14 Nov 2025 21:26:45 +0100
Subject: [PATCH 1/2] Update PR as suggested by Tim

---
 xml/issue4469.xml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/xml/issue4469.xml b/xml/issue4469.xml
index d843cfbbb9..424a5f1e37 100644
--- a/xml/issue4469.xml
+++ b/xml/issue4469.xml
@@ -18,9 +18,8 @@ static_assert( identifier_of(p) == "os" ); // guaranteed?
 </pre>
 
 <p>We should clarify that parameter names used by standard library implementation
-remain unspecified, by making behavior of `has_identifier` and `identifier_of`
-unspecified on reflection of such parameter. Marking the behavior
-rather than result unspecified, allows implementations to reject such calls.</p>
+remain unspecified, by making result of `has_identifier` and `identifier_of`
+unspecified on reflection of such parameter.</p>
 </discussion>
 
 <resolution>
@@ -36,8 +35,10 @@ This wording is relative to <paper num="N5014"/>.
 Unless <i>F</i> is designated an addressable function, it is unspecified if or
 how a reflection value designating the associated entity can be formed.
 <ins>For any value <tt><i>p</i></tt> of type `meta::info` that represents a
-reflection of a parameter of <i>F</i>, the behavior of <tt>has_identifier(<i>p</i>)</tt>
-and <tt>has_identifier(<i>p</i>)</tt> is unspecified.</ins></p>
+reflection of a parameter of <i>F</i>, it is unspecified if <tt>has_identifier(<i>p</i>)</tt>
+returns `true` or `false`, and if <tt>meta::has_identifier(<i>p</i>)</tt> is `true`,
+then the `NTBMS` produced by <tt>meta::identifier_of(<i>p</i>)</tt> and <tt>meta::u8identifier_of(<i>p</i>)</tt>
+is unspecified.</ins></p>
 </blockquote>
 </li>
 </ol>

From 33ea01bc339447bddf3e2df5718604ae405499b8 Mon Sep 17 00:00:00 2001
From: Jonathan Wakely <github@kayari.org>
Date: Fri, 14 Nov 2025 20:36:23 +0000
Subject: [PATCH 2/2] Apply suggestion from @jwakely

---
 xml/issue4469.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xml/issue4469.xml b/xml/issue4469.xml
index 424a5f1e37..c9fa45016e 100644
--- a/xml/issue4469.xml
+++ b/xml/issue4469.xml
@@ -37,7 +37,7 @@ how a reflection value designating the associated entity can be formed.
 <ins>For any value <tt><i>p</i></tt> of type `meta::info` that represents a
 reflection of a parameter of <i>F</i>, it is unspecified if <tt>has_identifier(<i>p</i>)</tt>
 returns `true` or `false`, and if <tt>meta::has_identifier(<i>p</i>)</tt> is `true`,
-then the `NTBMS` produced by <tt>meta::identifier_of(<i>p</i>)</tt> and <tt>meta::u8identifier_of(<i>p</i>)</tt>
+then the `NTMBS` produced by <tt>meta::identifier_of(<i>p</i>)</tt> and <tt>meta::u8identifier_of(<i>p</i>)</tt>
 is unspecified.</ins></p>
 </blockquote>
 </li>