================
@@ -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())))
----------------
zyn0217 wrote:
@cor3ntin I assume we are unable to deduce template arguments in the type
constraint, right? This logic would otherwise end up matching the NTTP argument
against the NTTP constraint
https://github.com/llvm/llvm-project/pull/121296
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
