CWG2881 Type restrictions for the explicit object parameter of a lambda

Author: burblebee

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}

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}