From 931dda7b9bcffc55dc03f90a5a39d2edd45658ea Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sun, 4 Oct 2026 22:46:45 +0200 Subject: [PATCH] [dcl.fct.default] Split overlong numbered paragraph --- source/declarations.tex | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/source/declarations.tex b/source/declarations.tex index aa91170ffe..1c896f425c 100644 --- a/source/declarations.tex +++ b/source/declarations.tex @@ -4561,6 +4561,8 @@ int h(int a, int b = sizeof(a)); // OK, unevaluated operand\iref{term.unevaluated.operand} \end{codeblock} \end{example} + +\pnum A non-static member shall not be designated in a default argument unless \begin{itemize} \item @@ -4598,8 +4600,9 @@ \tcode{X::b}. Classes, objects, and members are described in \ref{class}. \end{example} -A default argument is not part of the -type of a function. + +\pnum +A default argument is not part of the type of a function. \begin{example} \begin{codeblock} int f(int = 0); @@ -4613,6 +4616,8 @@ int (*p2)() = &f; // error: type mismatch \end{codeblock} \end{example} + +\pnum \begin{note} When an overload set contains a declaration of a function whose host scope is $S$,