================
@@ -2105,6 +2105,25 @@ void SubstituteParameterMappings::buildParameterMapping(
SemaRef.MarkUsedTemplateParameters(Args->arguments(),
/*Depth=*/0, OccurringIndices);
}
+
+ // If a parameter is only referenced in a default template argument,
+ // we need to add it to the mapping explicitly.
+ {
+ llvm::SmallVector<TemplateArgument> DefaultArgs;
+ for (unsigned I = TemplateParams->getMinRequiredArguments();
+ I < TemplateParams->size(); I++) {
+ const NamedDecl *Param = TemplateParams->getParam(I);
+ if (Param->isParameterPack())
+ break;
+ const TemplateArgument *Arg =
+ SemaRef.getASTContext().getDefaultTemplateArgumentOrNone(Param);
+ assert(Arg && "expected a default argument");
----------------
cor3ntin wrote:
It returns null if there is no default argument, but we except all of these
parameters to have default arguments
https://github.com/llvm/llvm-project/pull/192071
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
