From ca73d4f7563e1c5ddddfb36319836ffe69875eb9 Mon Sep 17 00:00:00 2001 From: James Touton Date: Sat, 14 Oct 2023 18:23:56 -0700 Subject: [PATCH] [expr.prim.lambda.general] Added missing definition for the term "lambda". MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Johel Ernesto Guerrero Peña --- source/expressions.tex | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index 3229ed4d8b..29f88749c9 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -1843,8 +1843,9 @@ \end{example} \pnum -A lambda is a \defn{generic lambda} -if the \grammarterm{lambda-expression} +A \grammarterm{lambda-expression} is a \defn{lambda}. +A lambda is \defnx{generic}{lambda!generic} +if the \grammarterm{parameter-declaration-clause} has any generic parameter type placeholders\iref{dcl.spec.auto}, or if the lambda has a \grammarterm{template-parameter-list}. \begin{example} @@ -2059,7 +2060,7 @@ \end{note} \pnum -The closure type for a non-generic \grammarterm{lambda-expression} with no +The closure type for a non-generic lambda with no \grammarterm{lambda-capture} whose constraints (if any) are satisfied has a conversion function to pointer to