[class.dtor] Reorder the introduction of an implicit prospective

destructor to before we describe the overload resolution to pick the
actual destructor.

Author: zygoloid

source/classes.tex

@@ -2145,6 +2145,22 @@
 of a prospective destructor declaration (if any)
 shall be \tcode{friend}, \tcode{inline}, or \tcode{virtual}.
 
+\pnum
+\indextext{generated destructor|see{destructor, default}}%
+\indextext{destructor!default}%
+If a class has no user-declared
+prospective destructor,
+a prospective destructor is implicitly
+declared as defaulted\iref{dcl.fct.def}.
+An implicitly-declared prospective destructor is an
+inline public member of its class.
+
+\pnum
+An implicitly-declared prospective destructor for a class \tcode{X} will have the form
+\begin{codeblock}
+~X()
+\end{codeblock}
+
 \pnum
 At the end of the definition of a class,
 overload resolution is performed
@@ -2185,22 +2201,6 @@
 has the same exception specification as if it had been implicitly declared\iref{except.spec}.
 \end{note}
 
-\pnum
-\indextext{generated destructor|see{destructor, default}}%
-\indextext{destructor!default}%
-If a class has no user-declared
-prospective destructor,
-a prospective destructor is implicitly
-declared as defaulted\iref{dcl.fct.def}.
-An implicitly-declared prospective destructor is an
-inline public member of its class.
-
-\pnum
-An implicitly-declared prospective destructor for a class \tcode{X} will have the form
-\begin{codeblock}
-~X()
-\end{codeblock}
-
 \pnum
 A defaulted destructor for a class
   \tcode{X} is defined as deleted if: