[basic.compound] Demote redundant wording to a note

Author: lprv

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}