P2738R1 constexpr cast from void*: towards constexpr type-erasure

Author: jensmaurer

source/expressions.tex

@@ -7451,7 +7451,10 @@
 \end{note}
 
 \item
-a conversion from type \cv{}~\tcode{\keyword{void}*} to a pointer-to-object type;
+a conversion
+from a prvalue \tcode{P} of type ``pointer to \cv{}~\tcode{\keyword{void}}''
+to a pointer-to-object type \tcode{T}
+unless \tcode{P} points to an object whose type is similar to \tcode{T};
 
 \item
 a \keyword{reinterpret_cast}\iref{expr.reinterpret.cast};

source/preprocessor.tex

@@ -1814,7 +1814,7 @@
 \defnxname{cpp_char8_t}                           & \tcode{202207L} \\ \rowsep
 \defnxname{cpp_concepts}                          & \tcode{202002L} \\ \rowsep
 \defnxname{cpp_conditional_explicit}              & \tcode{201806L} \\ \rowsep
-\defnxname{cpp_constexpr}                         & \tcode{202211L} \\ \rowsep
+\defnxname{cpp_constexpr}                         & \tcode{202306L} \\ \rowsep
 \defnxname{cpp_constexpr_dynamic_alloc}           & \tcode{201907L} \\ \rowsep
 \defnxname{cpp_constexpr_in_decltype}             & \tcode{201711L} \\ \rowsep
 \defnxname{cpp_consteval}                         & \tcode{202211L} \\ \rowsep