[clang] [Clang] Fix parsing of invalid type-requirement (PR #98545)

Younan Zhang via cfe-commits cfe-commits at lists.llvm.org
Thu Jul 11 22:34:01 PDT 2024


================
@@ -11698,6 +11698,13 @@ Sema::ActOnTypenameType(Scope *S, SourceLocation TypenameLoc,
     // Construct a dependent template specialization type.
     assert(DTN && "dependent template has non-dependent name?");
     assert(DTN->getQualifier() == SS.getScopeRep());
+
----------------
zyn0217 wrote:

nit: it would be clearer if we add a comment saying that a typename-specifier can only be followed by an identifier/simple-template-id. (Maybe quote https://eel.is/c++draft/temp.res.general#nt:typename-specifier?)

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


More information about the cfe-commits mailing list