CWG2760 Defaulted constructor that is an immediate function

Author: burblebee

source/declarations.tex

@@ -6234,7 +6234,12 @@
 \end{bnf}
 
 Any informal reference to the body of a function should be interpreted as a reference to
-the non-terminal \grammarterm{function-body}.
+the non-terminal \grammarterm{function-body},
+including, for a constructor,
+default member initializers or default initialization
+used to initialize
+a base or member subobject in the absence of
+a \grammarterm{mem-initializer-id}\iref{class.base.init}.
 The optional \grammarterm{attribute-specifier-seq} in a \grammarterm{function-definition}
 appertains to the function.
 A \grammarterm{virt-specifier-seq} can be part of a \grammarterm{function-definition}

source/expressions.tex

@@ -7983,6 +7983,11 @@
 whose function body contains an immediate-escalating expression \tcode{\placeholder{E}}
 such that \tcode{\placeholder{E}}'s innermost enclosing non-block scope
 is \tcode{\placeholder{F}}'s function parameter scope.
+\begin{tailnote}
+Default member initializers used to initialize
+a base or member subobject\iref{class.base.init}
+are considered to be part of the function body\iref{dcl.fct.def.general}.
+\end{tailnote}
 \end{itemize}
 \begin{example}
 \begin{codeblock}