From e949e902d7e4ccd80f263dbc1f4fa849af066070 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Sun, 14 Dec 2025 21:26:16 +0000
Subject: [PATCH] [basic.compound] Demote redundant wording to a note

---
 source/basic.tex | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/source/basic.tex b/source/basic.tex
index a813f68d9c..a5e6ada689 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -6044,12 +6044,14 @@
 \pnum
 \indextext{pointer|seealso{\tcode{void*}}}%
 \indextext{\idxcode{void*}!type}%
+A type ``pointer to \cv{}~\keyword{void}''
+shall have the same representation and alignment
+requirements as ``pointer to \cv{}~\keyword{char}''.
+\begin{note}
 A pointer to \cv{}~\keyword{void}
 can be used to point to objects of
-unknown type. Such a pointer shall be able to hold any object pointer.
-An object of type ``pointer to \cv{}~\keyword{void}''
-shall have the same representation and alignment
-requirements as an object of type ``pointer to \cv{}~\keyword{char}''.
+unknown type. Such a pointer can hold any object pointer.
+\end{note}
 
 \rSec2[basic.type.qualifier]{CV-qualifiers}