From 789b1630297161c328f5b0c86cbb25932720a0f5 Mon Sep 17 00:00:00 2001 From: Mauro Russo Date: Wed, 27 Nov 2024 22:12:10 +0100 Subject: [PATCH] [dcl.spec.auto.general]-p2: wording on param. type Text may be ambiguous in the sense that it may be interpreted both as the type of any of three things (incorrect) or the type of a parameter of any of three things (correct). Despite the former interpretation does not make sense as a lambda expression has never an explicit type, it would still be useful to avoid ambiguity in sentence parsing. Avoid incorrect sentence parsing option on types Signed-off-by: Mauro Russo --- source/declarations.tex | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/source/declarations.tex b/source/declarations.tex index b3122d3db8..6a4c11fffc 100644 --- a/source/declarations.tex +++ b/source/declarations.tex @@ -1771,9 +1771,11 @@ \pnum The type of a \grammarterm{parameter-declaration} of a -function declaration\iref{dcl.fct}, -\grammarterm{lambda-expression}\iref{expr.prim.lambda}, or -\grammarterm{template-parameter}\iref{temp.param} +\begin{itemize} + \item function declaration\iref{dcl.fct}, + \item \grammarterm{lambda-expression}\iref{expr.prim.lambda}, + \item \grammarterm{template-parameter}\iref{temp.param} +\end{itemize} can be declared using a \grammarterm{placeholder-type-specifier} of the form \opt{\grammarterm{type-constraint}} \keyword{auto}.