CWG233 References vs pointers in UDC overload resolution

[over.ics.rank] Fix punctuation in bullet 3.2.5.

Author: burblebee

source/overloading.tex

@@ -1734,10 +1734,10 @@
 (see~\ref{dcl.init},
 \ref{over.match.conv}, and~\ref{over.match.ref})
 and the standard conversion sequence
-from the return type of $\tcode{F}_1$ to the destination type
+from the result of $\tcode{F}_1$ to the destination type
 (i.e., the type of the entity being initialized)
 is a better conversion sequence than the standard conversion sequence
-from the return type of $\tcode{F}_2$ to the destination type
+from the result of $\tcode{F}_2$ to the destination type
 \begin{example}
 \begin{codeblock}
 struct A {
@@ -2792,7 +2792,7 @@
 (where a standard conversion sequence that is a reference binding
 is considered to yield the cv-unqualified referenced type),
 where \tcode{T1} and \tcode{T2} are not the same type, and
-\tcode{const T2} is reference-compatible with \tcode{T1}\iref{dcl.init.ref}.
+\tcode{const T2} is reference-compatible with \tcode{T1}\iref{dcl.init.ref}
 \begin{example}
 \begin{codeblock}
 int f(const volatile int *);
@@ -2806,14 +2806,15 @@
 \end{codeblock}
 \end{example}
 or, if not that,
+
 \item
 \tcode{S1}
 and
 \tcode{S2}
 bind ``reference to \tcode{T1}'' and ``reference to \tcode{T2}'',
 respectively\iref{dcl.init.ref},
 where \tcode{T1} and \tcode{T2} are not the same type, and
-\tcode{T2} is reference-compatible with \tcode{T1}.
+\tcode{T2} is reference-compatible with \tcode{T1}
 \begin{example}
 \begin{codeblock}
 int f(const int &);
@@ -2846,6 +2847,32 @@
 }
 \end{codeblock}
 \end{example}
+or, if not that,
+
+\item
+\tcode{S1} and \tcode{S2}
+bind the same reference type ``reference to \tcode{T}'' and
+have source types \tcode{V1} and \tcode{V2}, respectively,
+where the standard conversion sequence from \tcode{V1*} to \tcode{T*}
+is better than the standard conversion sequence from \tcode{V2*} to \tcode{T*}.
+\begin{example}
+\begin{codeblock}
+struct Z {};
+
+struct A {
+  operator Z&();
+  operator const Z&();          // \#1
+};
+
+struct B {
+  operator Z();
+  operator const Z&&();         // \#2
+};
+
+const Z& r1 = A();              // OK, uses \#1
+const Z&& r2 = B();             // OK, uses \#2
+\end{codeblock}
+\end{example}
 \end{itemize}
 
 \item