From afc0ac3e726ca939cc7e99fb406f28970608d4a6 Mon Sep 17 00:00:00 2001 From: Mauro Russo Date: Wed, 27 Nov 2024 22:42:57 +0100 Subject: [PATCH] Avoid ambiguity of placeholder on nested parameter Signed-off-by: Mauro Russo --- source/declarations.tex | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/source/declarations.tex b/source/declarations.tex index b3122d3db8..7ebfa35cac 100644 --- a/source/declarations.tex +++ b/source/declarations.tex @@ -1779,8 +1779,13 @@ \opt{\grammarterm{type-constraint}} \keyword{auto}. The placeholder type shall appear as one of the \grammarterm{decl-specifier}{s} in -the \grammarterm{decl-specifier-seq} or -as one of the \grammarterm{type-specifier}{s} in +the \grammarterm{decl-specifier-seq} +directly related to the parameter +\begin{note} + not to a nested parameter in case of + function pointer or reference type +\end{note} +or as one of the \grammarterm{type-specifier}{s} in a \grammarterm{trailing-return-type} that specifies the type that replaces such a \grammarterm{decl-specifier} (see below); @@ -1817,6 +1822,11 @@ in an initializing declaration\iref{dcl.init} of a variable. The placeholder type shall appear as one of the \grammarterm{decl-specifier}{s} in the \grammarterm{decl-specifier-seq} +directly related to the variable +\begin{note} + not to a nested parameter in case of + function pointer or reference type +\end{note} or as one of the \grammarterm{type-specifier}{s} in a \grammarterm{trailing-return-type} that specifies the type that replaces such a \grammarterm{decl-specifier};