CWG2321 Conditional operator and cv-qualified class prvalues

Author: tkoeppe

source/expressions.tex

@@ -5431,10 +5431,14 @@
 
 \begin{itemize}
 \item if \tcode{T1} and \tcode{T2} are the same class type
-(ignoring cv-qualification), or one is a base class of the other, and
+(ignoring cv-qualification) and
 \tcode{T2} is at least as cv-qualified as \tcode{T1},
 the target type is \tcode{T2},
 
+\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},
+
 \item otherwise, the target type is the type that \tcode{E2} would have
 after applying the
 lvalue-to-rvalue\iref{conv.lval},