[dcl.fct.def.default] Highlight different references in defaulted assignments

Author: jensmaurer

source/declarations.tex

@@ -6347,7 +6347,7 @@
   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}'',
+  explicit object parameter is of (possibly different) type ``reference to \tcode{C}'',
   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