CWG2865 Regression on result of conditional operator

Author: burblebee

source/expressions.tex

@@ -7058,13 +7058,18 @@
 formed and at least one of the operands has (possibly cv-qualified) class type:
 \begin{itemize}
 \item if \tcode{T1} and \tcode{T2} are the same class type
-(ignoring cv-qualification) and
-\tcode{T2} is at least as cv-qualified as \tcode{T1},
-the target type is \tcode{T2},
+(ignoring cv-qualification):
+  \begin{itemize}
+  \item
+  if \tcode{T2} is at least as cv-qualified as \tcode{T1},
+  the target type is \tcode{T2},
+  \item
+  otherwise, no conversion sequence is formed for this operand;
+  \end{itemize}
 
 \item otherwise, if \tcode{T2} is a base class of \tcode{T1},
 the target type is \cvqual{cv1} \tcode{T2}, where \cvqual{cv1}
-denotes the cv-qualifiers of \tcode{T1},
+denotes the cv-qualifiers of \tcode{T1};
 
 \item otherwise, the target type is the type that \tcode{E2} would have
 after applying the