CWG3115 Function parameters of consteval-only type

Author: eisenwave

source/basic.tex

@@ -5343,6 +5343,8 @@
 an object whose lifetime begins and ends
 during the evaluation of a core constant expression.
 \end{itemize}
+Every function of consteval-only type shall be
+an immediate function\iref{expr.const}.
 
 \rSec2[basic.fundamental]{Fundamental types}
 

source/expressions.tex

@@ -9146,10 +9146,13 @@
 in an immediate-escalating function.
 
 \pnum
-An \defnadj{immediate}{function} is a function that is either
+An \defnadj{immediate}{function} is a function that is
 \begin{itemize}
 \item
-declared with the \keyword{consteval} specifier, or
+declared with the \keyword{consteval} specifier,
+\item
+an immediate-escalating function
+whose type is consteval-only\iref{basic.types.general}, or
 \item
 an immediate-escalating function \tcode{\placeholder{F}}
 whose function body contains either