CWG2881 Type restrictions for the explicit object parameter of a lambda

tkoeppe · Jul 12, 2024 · Jul 1, 2024 · Jul 1, 2024 · Jul 1, 2024 · Jul 1, 2024
commit 0193ee832f025189c4de3913eb80a2a459fa612f
diff --git a/source/expressions.tex b/source/expressions.tex
@@ -2012,7 +2012,7 @@
 \item
 the closure type,
 \item
-a class type derived from the closure type, or
+a class type publicly and unambiguously derived from the closure type, or
 \item
 a reference to a possibly cv-qualified such type.
 \end{itemize}

diff --git a/source/templates.tex b/source/templates.tex
@@ -7445,6 +7445,13 @@
 Attempting to create a function type in which a parameter has a type
 of \keyword{void}, or in which the return type is a function type
 or array type.
+
+\item
+%FIXME: What's it mean to "give" a type "to" a parameter?
+%FIXME: See also "Attempting to give an invalid type to ..." above.
+Attempting to give to
+an explicit object parameter of a lambda's function call operator
+a type not permitted for such\iref{expr.prim.lambda.closure}.
 \end{itemize}
 \end{note}