[expr.reinterpret.cast]: requirement redundant with static_cast: a note it is (cplusplus#996)

Author: hubert-reinterpretcast

source/expressions.tex

@@ -2454,11 +2454,13 @@
 When a prvalue \tcode{v} of object pointer type is converted to
 the object pointer type ``pointer to \cv\ \tcode{T}'', the result is \tcode{static_cast<\cv\ T*>(static_cast<\cv\
 void*>(v))}.
+\begin{note}
 Converting a prvalue of type ``pointer to \tcode{T1}'' to
 the type ``pointer to \tcode{T2}'' (where \tcode{T1} and \tcode{T2} are
 object types and where the alignment requirements of \tcode{T2} are no
 stricter than those of \tcode{T1}) and back to its original type yields
 the original pointer value.
+\end{note}
 
 \pnum
 Converting a function pointer to an object pointer