CWG2801 Reference binding with reference-related types

Author: burblebee

source/declarations.tex

@@ -5670,11 +5670,10 @@
 \end{example}
 
 \item
-Otherwise:
+Otherwise, \tcode{T1} shall not be reference-related to \tcode{T2}.
 \begin{itemize}
 \item
-If \tcode{T1} or \tcode{T2} is a class type and
-\tcode{T1} is not reference-related to \tcode{T2},
+If \tcode{T1} or \tcode{T2} is a class type,
 user-defined conversions are considered
 using the rules for copy-initialization of an object of type
 ``\cvqual{cv1} \tcode{T1}'' by
@@ -5693,24 +5692,6 @@
 and the reference is bound to the result.
 \end{itemize}
 
-If
-\tcode{T1}
-is reference-related to
-\tcode{T2}:
-\begin{itemize}
-\item
-\cvqual{cv1}
-shall be the same cv-qualification as, or greater cv-qualification than,
-\cvqual{cv2}; and
-\item
-if the reference is an rvalue reference,
-the initializer expression shall not be an lvalue.
-\begin{note}
-This can be affected by
-whether the initializer expression is move-eligible\iref{expr.prim.id.unqual}.
-\end{note}
-\end{itemize}
-
 \begin{example}
 \begin{codeblock}
 struct Banana { };