[libcxx-commits] [clang] [libcxx] Reapply "[Clang] Implement resolution for CWG1835 (#92957, #98547)" (PR #100425)

Krystian Stasiowski via libcxx-commits libcxx-commits at lists.llvm.org
Wed Jul 24 11:26:51 PDT 2024


================
@@ -628,10 +628,12 @@ namespace cwg141 { // cwg141: 3.1
       // expected-error at -1 {{use 'template' keyword to treat 'f' as a dependent template name}}
     }
     void h() {
-      (void)t.S<int>::n; // ok
+      (void)t.S<int>::n;
----------------
sdkrystian wrote:

@Endilll `t` is dependent, so we do not consider `S` to be a template name per CWG1835. The results of unqualified lookup are only used to determine whether a name is that of a template if the name isn't dependent (unless the lookup context is the current instantiation).

https://github.com/llvm/llvm-project/pull/100425


More information about the libcxx-commits mailing list