CWG2490 Restrictions on destruction in constant expressions

Author: tkoeppe

source/expressions.tex

@@ -7216,6 +7216,11 @@
 that refers to a non-volatile object
 whose lifetime began within the evaluation of $E$;
 
+\item
+an invocation of a destructor\iref{class.dtor} or a function call
+whose \grammarterm{postfix-expression} names a pseudo-destructor\iref{expr.call},
+in either case for an object whose lifetime did not begin within the evaluation of $E$;
+
 \item
 a \grammarterm{new-expression}\iref{expr.new},
 unless the selected allocation function is
@@ -7319,30 +7324,14 @@
 even if the actual evaluation of such a call
 would otherwise fail the requirements for a core constant expression.
 Similarly, the evaluation of a call to
-\tcode{std::destroy_at},
-\tcode{std::ranges::destroy_at},
-\tcode{std::construct_at}, or
-\tcode{std::ranges::construct_at}
+\tcode{std::construct_at} or \tcode{std::ranges::construct_at}
 does not disqualify $E$
-from being a core constant expression unless:
-\begin{itemize}
-\item
-  for a call to \tcode{std::construct_at} or \tcode{std::ranges::construct_at},
-  the first argument, of type \tcode{T*},
-  does not point
-  to storage allocated with \tcode{std::allocator<T>} or
-  to an object whose lifetime began within the evaluation of $E$, or
-  the evaluation of the underlying constructor call
-  disqualifies $E$ from being a core constant expression, or
-\item
-  for a call to \tcode{std::destroy_at} or \tcode{std::ranges::destroy_at},
-  the first argument, of type \tcode{T*},
-  does not point
-  to storage allocated with \tcode{std::allocator<T>} or
-  to an object whose lifetime began within the evaluation of $E$, or
-  the evaluation of the underlying destructor call
-  disqualifies $E$ from being a core constant expression.
-\end{itemize}
+from being a core constant expression unless
+the first argument, of type \tcode{T*}, does not point
+to storage allocated with \tcode{std::allocator<T>} or
+to an object whose lifetime began within the evaluation of $E$, or
+the evaluation of the underlying constructor call
+disqualifies $E$ from being a core constant expression.
 
 \pnum
 An object \tcode{a} is said to have \defnadj{constant}{destruction} if: