CWG3057 Ranking of derived-to-base conversions should ignore reference binding

eisenwave · tkoeppe · commit 81ed76bc4ccd · 2025-12-13T15:50:55.000Z
diff --git a/source/overloading.tex b/source/overloading.tex
@@ -2401,10 +2401,10 @@
 binds directly\iref{dcl.init.ref} to an argument expression:
 \begin{itemize}
 \item
-If the argument expression has a type that
-is a derived class of the parameter type,
+If the argument expression has a type \tcode{D} that
+is a derived class of \tcode{T},
 the implicit conversion sequence is a derived-to-base
-conversion\iref{over.best.ics}.
+conversion from \tcode{D} to \tcode{T}\iref{over.best.ics}.
 
 \item
 Otherwise,
@@ -3083,15 +3083,6 @@
 \end{codeblock}
 \end{example}
 
-\item
-binding of an expression of type
-\tcode{C}
-to a reference to type
-\tcode{B}
-is better than binding an expression of type
-\tcode{C}
-to a reference to type
-\tcode{A},
 \item
 conversion of
 \tcode{A::*}
@@ -3120,16 +3111,6 @@
 to
 \tcode{A*},
 \item
-binding of an expression of type
-\tcode{B}
-to a reference to type
-\tcode{A}
-is better than binding an expression of type
-\tcode{C}
-to a
-reference to type
-\tcode{A},
-\item
 conversion of
 \tcode{B::*}
 to
