CWG2602 consteval defaulted functions

Author: burblebee

source/classes.tex

@@ -2095,7 +2095,7 @@
 
 \pnum
 A defaulted destructor is a constexpr destructor
-if it satisfies the requirements for a constexpr function\iref{dcl.constexpr}.
+if it is constexpr-suitable\iref{dcl.constexpr}.
 
 \pnum
 Before a

source/declarations.tex

@@ -796,16 +796,17 @@
 \pnum
 \indextext{specifier!\idxcode{constexpr}!function}%
 \indextext{constexpr function}%
-The definition of a constexpr function shall satisfy the following
-requirements:
+A function is \defn{constexpr-suitable} if:
 \begin{itemize}
 \item
-it shall not be a coroutine\iref{dcl.fct.def.coroutine};
+it is not a coroutine\iref{dcl.fct.def.coroutine}, and
 
 \item
 if the function is a constructor or destructor,
-its class shall not have any virtual base classes.
+its class does not have any virtual base classes.
 \end{itemize}
+Except for instantiated constexpr functions,
+non-templated constexpr functions shall be constexpr-suitable.
 
 \begin{example}
 \begin{codeblock}
@@ -839,16 +840,6 @@
 \end{codeblock}
 \end{example}
 
-\pnum
-If the instantiated template specialization of a constexpr function
-template
-or member function of a class template
-would fail to satisfy the requirements for a constexpr
-function,
-that specialization is still a constexpr function,
-even though a call to such a function cannot appear in a constant
-expression.
-
 \pnum
 An invocation of a constexpr function in a given context
 produces the same result as
@@ -6265,7 +6256,7 @@
 A function explicitly defaulted on its first declaration
 is implicitly inline\iref{dcl.inline},
 and is implicitly constexpr\iref{dcl.constexpr}
-if it satisfies the requirements for a constexpr function.
+if it is constexpr-suitable.
 
 \pnum
 \begin{example}

source/expressions.tex

@@ -1961,7 +1961,7 @@
 the corresponding \grammarterm{lambda-expression}{'s}
 \grammarterm{parameter-declaration-clause}
 is followed by \keyword{constexpr} or \keyword{consteval}, or
-it satisfies the requirements for a constexpr function\iref{dcl.constexpr}.
+it is constexpr-suitable\iref{dcl.constexpr}.
 It is an immediate function\iref{dcl.constexpr}
 if the corresponding \grammarterm{lambda-expression}{'s}
 \grammarterm{parameter-declaration-clause} is followed by \keyword{consteval}.
@@ -7379,8 +7379,7 @@
 
 \item
 an invocation of an instantiated constexpr function
-that fails to satisfy the requirements
-for a constexpr function;
+that is not constexpr-suitable;
 
 \item
 an invocation of a virtual function\iref{class.virtual}