CWG2561 Conversion to function pointer for lambda with explicit object parameter

Author: burblebee

source/expressions.tex

@@ -1901,8 +1901,9 @@
 if the lambda has a \grammarterm{template-parameter-list}.
 \begin{example}
 \begin{codeblock}
-int i = [](int i, auto a) { return i; }(3, 4);                  // OK, a generic lambda
-int j = []<class T>(T t, int i) { return i; }(3, 4);            // OK, a generic lambda
+auto x = [](int i, auto a) { return i; };               // OK, a generic lambda
+auto y = [](this auto self, int i) { return i; };       // OK, a generic lambda
+auto z = []<class T>(int i) { return i; };              // OK, a generic lambda
 \end{codeblock}
 \end{example}
 
@@ -2114,6 +2115,7 @@
 \pnum
 The closure type for a non-generic \grammarterm{lambda-expression} with no
 \grammarterm{lambda-capture}
+and no explicit object parameter\iref{dcl.fct}
 whose constraints (if any) are satisfied
 has a conversion function to pointer to
 function with \Cpp{} language linkage\iref{dcl.link} having
@@ -2134,7 +2136,9 @@
 if the function call operator is an immediate function.
 
 \pnum
-For a generic lambda with no \grammarterm{lambda-capture}, the closure type has a
+For a generic lambda with no \grammarterm{lambda-capture}
+and no explicit object parameter\iref{dcl.fct},
+the closure type has a
 conversion function template to
 pointer to function. The conversion function template has the same invented
 template parameter list, and the pointer to function has the same