================ @@ -2127,7 +2127,7 @@ static TemplateDeductionResult DeduceTemplateArgumentsByTypeMatch( TA = S.Context.getTypeDeclType(MPA->getMostRecentCXXRecordDecl()); } else { NestedNameSpecifier *QA = MPA->getQualifier(); - TA = QualType(QA->translateToType(S.Context), 0); + TA = QualType(QA->translateToType(S.Context), 0).getUnqualifiedType(); ---------------- mizvekov wrote:
Yes, getUnqualifiedType will remove the least amount of top-level sugar which will get the type unqualified. Unfortunately we don't have yet in clang a good representation for qualification adjustments. The existing nodes like AdjustedType would be too costly to use consistently for this very common kind of adjustment. https://github.com/llvm/llvm-project/pull/142081 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits