[clang] [Clang] Diagnose unexpanded packs for NTTP type constraints (PR #121296)

via cfe-commits cfe-commits at lists.llvm.org
Thu Jan 2 09:55:02 PST 2025


================
@@ -857,7 +857,8 @@ class PackDeductionScope {
       if (auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(
               TemplateParams->getParam(Index))) {
         if (!NTTP->isExpandedParameterPack())
-          if (auto *Expansion = dyn_cast<PackExpansionType>(NTTP->getType()))
+          if (auto *Expansion = dyn_cast<PackExpansionType>(
+                  S.Context.getUnconstrainedType(NTTP->getType())))
----------------
cor3ntin wrote:

https://cplusplus.github.io/CWG/issues/2982.html

I'd say lets do that and if it changes we can revisit. how does that sound?

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


More information about the cfe-commits mailing list