CWG2728 Evaluation of conversions in a delete-expression

Author: burblebee

source/expressions.tex

@@ -5780,22 +5780,15 @@
 If the operand is of
 class type, it is contextually implicitly converted\iref{conv}
 to a pointer to object
-type.
-\begin{footnote}
-This implies that an object
-cannot be deleted using a pointer of type
-\tcode{\keyword{void}*} because \keyword{void} is not an object type.
-\end{footnote}
+type
+and the converted operand is used in place of the original operand
+for the remainder of this subclause.
 Otherwise, it shall be a prvalue of pointer to object type.
 The \grammarterm{delete-expression} has type
 \keyword{void}.
 
 \pnum
 \indextext{\idxcode{delete}!single-object}%
-If the operand has a class type, the operand is converted to a pointer
-type by calling the above-mentioned conversion function, and the
-converted operand is used in place of the original operand for the
-remainder of this subclause.
 In a single-object delete expression, the value of the operand of
 \keyword{delete} may be a null pointer value,
 a pointer value
@@ -5839,10 +5832,6 @@
 expression, if the dynamic type of the object to be deleted is not similar to
 its static type, the behavior is undefined.
 
-\pnum
-The \grammarterm{cast-expression} in a \grammarterm{delete-expression} shall
-be evaluated exactly once.
-
 \pnum
 \indextext{type!incomplete}%
 If the object being deleted has incomplete class type at the point of