CWG2877 Type-only lookup for using-enum-declarator

tkoeppe · Jul 12, 2024 · Jul 1, 2024 · Jul 1, 2024 · Jul 1, 2024 · Jul 1, 2024
commit 76bf42de579ef21d4bb53f68e4f6cc411806b504
diff --git a/source/declarations.tex b/source/declarations.tex
@@ -7477,11 +7477,26 @@
 \pnum
 A \grammarterm{using-enum-declarator}
 names the set of declarations found by
-lookup\iref{basic.lookup.unqual,basic.lookup.qual}
-for the \grammarterm{using-enum-declarator}.
+type-only lookup\iref{basic.lookup.general}
+for the \grammarterm{using-enum-declarator}\iref{basic.lookup.unqual,basic.lookup.qual}.
 The \grammarterm{using-enum-declarator}
 shall designate a non-dependent type
 with a reachable \grammarterm{enum-specifier}.
+\begin{example}
+\begin{codeblock}
+enum E { x };
+void f() {
+  int E;
+  using enum E;                 // OK
+}
+using F = E;
+using enum F;                   // OK
+template<class T> using EE = T;
+void g() {
+  using enum EE<E>;             // OK
+}
+\end{codeblock}
+\end{example}
 
 \pnum
 A \grammarterm{using-enum-declaration}