================ @@ -1666,6 +1685,21 @@ namespace { return inherited::TransformTemplateArgument(Input, Output, Uneval); } + using TreeTransform::TransformTemplateSpecializationType; + QualType + TransformTemplateSpecializationType(TypeLocBuilder &TLB, + TemplateSpecializationTypeLoc TL) { + auto *T = TL.getTypePtr(); + if (!getSema().ArgPackSubstIndex || !T->isSugared() || + !isPackProducingBuiltinTemplateName(T->getTemplateName())) + return TreeTransform::TransformTemplateSpecializationType(TLB, TL); + // Look through sugar to get to the SubstBuiltinTemplatePackType that we + // need to substitute into. + QualType R = TransformType(T->desugar()); ---------------- zyn0217 wrote:
How does a type sugar impede substitution? https://github.com/llvm/llvm-project/pull/106730 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits