CWG1836 Use of class type being defined in trailing-return-type

Author: Dawn Perchik

source/expressions.tex

@@ -376,11 +376,12 @@
 the declaration of a static member function (although its type and value category
 are defined within a static member function as they are within a non-static
 member function). \begin{note} This is because declaration matching does not
-occur until the complete declarator is known. \end{note} Unlike the object
-expression in other contexts, \tcode{*this} is not required to be of complete
-type for purposes of class member access~(\ref{expr.ref}) outside the member
-function body. \begin{note} Only class members declared prior to the declaration
-are visible. \end{note}
+occur until the complete declarator is known. \end{note}
+\begin{note}
+In a \grammarterm{trailing-return-type},
+the class being defined is not required to be complete
+for purposes of class member access~(\ref{expr.ref}).
+Class members declared later are not visible.
 \begin{example}
 \begin{codeblock}
 struct A {
@@ -391,6 +392,7 @@
 template auto A::f(int t) -> decltype(t + g());
 \end{codeblock}
 \end{example}
+\end{note}
 
 \pnum
 Otherwise, if a \grammarterm{member-declarator} declares a non-static data
@@ -1843,9 +1845,15 @@
 \pnum
 \indextext{type!incomplete}%
 For the first option (dot) the first expression
-shall be a glvalue having complete class type.
+shall be a glvalue having class type.
 For the second option (arrow) the first expression
-shall be a prvalue having pointer to complete class type.
+shall be a prvalue having pointer to class type.
+In both cases, the class type shall be complete
+unless the class member access appears in the definition of that class.
+\begin{note}
+If the class is incomplete, lookup in the complete class type
+is required to refer to the same declaration~(\ref{basic.scope.class}).
+\end{note}
 The expression \tcode{E1->E2} is
 converted to the equivalent form \tcode{(*(E1)).E2}; the remainder of
 \ref{expr.ref}~will address only the first option (dot).\footnote{Note that