[clang] [Clang] Implement resolution for CWG1835 (PR #92957)

Vlad Serebrennikov via cfe-commits cfe-commits at lists.llvm.org
Sat Jun 1 07:22:08 PDT 2024


Endilll wrote:

> This means that we must perform the second (unqualified) lookup during parsing even when the type of the object expression is dependent, but those results are not used to determine whether a < token is the start of a template-argument_list; they are stored so we can replicate the second lookup during instantiation.

If I understand correctly, you point to a conflict between http://eel.is/c++draft/basic.lookup#qual.general-3.sentence-3 and http://eel.is/c++draft/temp.res#temp.dep.type-6. Have you considered filing a Core issue?

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


More information about the cfe-commits mailing list