From b357f32c44848c1ba84a28597d4d843c7f91ada6 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 Avoid incorrect sentence parsing option on parameter 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. 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..a1e2103b10 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}, or + \item \grammarterm{lambda-expression}\iref{expr.prim.lambda}, or + \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}.