diff --git a/source/expressions.tex b/source/expressions.tex index 8ff85e8736..493e75a5c5 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -3566,6 +3566,10 @@ representing the cv-unqualified referenced type. If the type of the \grammarterm{type-id} is a class type or a reference to a class type, the class shall be completely-defined. +\begin{note} +The \grammarterm{type-id} cannot denote a function type with +a \grammarterm{cv-qualifier-seq} or a \grammarterm{ref-qualifier}\iref{dcl.fct}. +\end{note} \pnum If the type of the expression or \grammarterm{type-id} is a