CWG3114 Indirect base classes for class member access with direct base class relationship

Author: eisenwave

source/expressions.tex

@@ -4311,17 +4311,18 @@
 whose value is the value of the enumerator.
 
 \item
-Otherwise, if \tcode{E2} designates a direct base class relationship $(D, B)$
-and the type of \tcode{E1} is \cv{} \tcode{T},
+Otherwise, if \tcode{E2} designates a direct base class relationship $(D, B)$ and
+$D$ is either the cv-unqualified class type of \tcode{E1} or a base class thereof,
+let \cv{} be the cv-qualification of the type of \tcode{E1}.
+\tcode{E1} is implicitly converted to the type ``reference to \cv{}~\tcode{$D$}''
+(where the reference is an lvalue reference if \tcode{E1} is an lvalue
+and an rvalue reference otherwise) and
 the expression designates the direct base class subobject of type $B$
-of the object designated by \tcode{E1}.
+of the object designated by the converted \tcode{E1}.
 If \tcode{E1} is an lvalue,
 then \tcode{E1.E2} is an lvalue;
 otherwise, \tcode{E1.E2} is an xvalue.
-The type of \tcode{E1.E2} is ``\cv{} \tcode{$B$}''.
-\begin{note}
-This can only occur in an expression of the form \tcode{e1.[:e2:]}.
-\end{note}
+The type of \tcode{E1.E2} is \cv{}~\tcode{$B$}.
 \begin{example}
 \begin{codeblock}
 struct B {