CWG3109 Access checking when designating a protected member by a splice

Author: eisenwave

source/classes.tex

@@ -5177,7 +5177,8 @@
 \pnum
 An additional access check beyond those described earlier in \ref{class.access}
 is applied when a non-static data member or non-static member function is a
-protected member of its designating class\iref{class.access.base}.
+protected member of its designating class\iref{class.access.base}
+and is not designated by a \grammarterm{splice-expression}.
 \begin{footnote}
 This
 additional check does not apply to other members,
@@ -5186,9 +5187,11 @@
 As described earlier, access to a protected member is granted because the
 reference occurs in a friend or direct member of some class \tcode{C}. If the access is
 to form a pointer to member\iref{expr.unary.op}, the
-\grammarterm{nested-name-specifier} shall denote \tcode{C} or a class derived from
-\tcode{C}. All other accesses involve a (possibly implicit) object
-expression\iref{expr.ref}. In this case, the class of the object expression shall be
+\grammarterm{nested-name-specifier} shall designate \tcode{C} or a class derived from
+\tcode{C}.
+Otherwise, if the access involves a (possibly implicit)
+object expression\iref{expr.prim.id.general,expr.ref},
+the class of the object expression shall be
 \tcode{C} or a class derived from \tcode{C}.
 \begin{example}
 \begin{codeblock}