CWG2809 An implicit definition does not redeclare a function

Author: burblebee

source/declarations.tex

@@ -6512,15 +6512,18 @@
 (i.e., explicitly defaulted after its first declaration)
 is implicitly defined at the point where it is explicitly defaulted; if such a function is implicitly
 defined as deleted, the program is ill-formed.
+\begin{note}
+Declaring a function as defaulted after its first declaration
+can provide efficient execution and concise definition
+while enabling a stable binary interface to an evolving code base.
+\end{note}
 A non-user-provided defaulted function
 (i.e., implicitly declared or explicitly defaulted in the class)
 that is not defined as deleted is implicitly defined when it is odr-used\iref{basic.def.odr}
 or needed for constant evaluation\iref{expr.const}.
 \begin{note}
-Declaring a function as defaulted after its first declaration can provide
-efficient execution and concise
-definition while enabling a stable binary interface to an evolving code
-base.
+The implicit definition of a non-user-provided defaulted function
+does not bind any names.
 \end{note}
 
 \pnum