CWG3101 Types "compounded" from other types

Author: eisenwave

source/basic.tex

@@ -5331,9 +5331,17 @@
 layout-compatible standard-layout class types\iref{class.mem}.
 
 \pnum
-A type is \defn{consteval-only} if it is either
-\tcode{std::meta::info} or
-a type compounded from a consteval-only type\iref{basic.compound}.
+A type is \defn{consteval-only} if it is
+\begin{itemize}
+\item \tcode{std::meta::info},
+\item \cv{}~\tcode{T}, where \tcode{T} is a consteval-only type,
+\item a pointer or reference to a consteval-only type,
+\item an array of consteval-only type,
+\item a function type having a return type or any parameter type that is consteval-only,
+\item a class type with any non-static data member having consteval-only type, or
+\item a type ``pointer to member of class \tcode{C} of type \tcode{T}'',
+where at least one of \tcode{C} or \tcode{T} is a consteval-only type.
+\end{itemize}
 Every object of consteval-only type shall be
 \begin{itemize}
 \item