CWG2646 Defaulted special member functions

Fixes NB US 052 (C++23 CD).

Author: burblebee

source/declarations.tex

@@ -6200,35 +6200,33 @@
 
 \pnum
 An explicitly defaulted special member function $\tcode{F}_1$
-with type $\tcode{T}_1$
 is allowed to differ from
 the corresponding special member function $\tcode{F}_2$
-with type $\tcode{T}_2$
 that would have been implicitly declared, as follows:
 \begin{itemize}
 \item
-  $\tcode{T}_1$ and $\tcode{T}_2$ may have differing \grammarterm{ref-qualifier}{s};
+  $\tcode{F}_1$ and $\tcode{F}_2$ may have differing \grammarterm{ref-qualifier}{s};
 \item
   if $\tcode{F}_2$ has an implicit object parameter of
   type ``reference to \tcode{C}'',
   $\tcode{F}_1$ may be an explicit object member function whose
   explicit object parameter is of type ``reference to \tcode{C}'',
-  in which case $\tcode{T}_1$ would differ from $\tcode{T}_2$
-  in that $\tcode{T}_1$ has an additional parameter;
+  in which case the type of $\tcode{F}_1$ would differ from the type of $\tcode{F}_2$
+  in that the type of $\tcode{F}_1$ has an additional parameter;
 \item
-  $\tcode{T}_1$ and $\tcode{T}_2$ may have differing exception specifications; and
+  $\tcode{F}_1$ and $\tcode{F}_2$ may have differing exception specifications; and
 \item
   if $\tcode{F}_2$ has a non-object parameter of type \tcode{const C\&},
   the corresponding non-object parameter of $\tcode{F}_1$ may be of
   type \tcode{C\&}.
 \end{itemize}
-If $\tcode{T}_1$ differs from $\tcode{T}_2$ in a way
+If the type of $\tcode{F}_1$ differs from the type of $\tcode{F}_2$ in a way
 other than as allowed by the preceding rules, then:
 \begin{itemize}
 \item
   if $\tcode{F}_1$ is an assignment operator, and
-  the return type of $\tcode{T}_1$ differs from
-  the return type of $\tcode{T}_2$ or
+  the return type of $\tcode{F}_1$ differs from
+  the return type of $\tcode{F}_2$ or
   $\tcode{F}_1${'s} non-object parameter type is not a reference,
   the program is ill-formed;
 \item