[clang] [clang-tools-extra] [clang] Implement CWG2398 provisional TTP matching to class templates (PR #94981)

via cfe-commits cfe-commits at lists.llvm.org
Thu Sep 5 09:50:35 PDT 2024


================
@@ -2143,15 +2107,17 @@ static TemplateDeductionResult DeduceTemplateArgumentsByTypeMatch(
       unsigned SubTDF = TDF & TDF_IgnoreQualifiers;
       if (auto Result = DeduceTemplateArgumentsByTypeMatch(
               S, TemplateParams, PPT, APT, Info, Deduced, SubTDF,
-              /*PartialOrdering=*/false, /*DeducedFromArrayBound=*/false,
-              HasDeducedAnyParam);
+              POK != PartialOrderingKind::None ? PartialOrderingKind::NonCall
----------------
cor3ntin wrote:

Can you explain that logic?
And you do it in a whole bunch of places, how putting it a getPartialOrderingKindForTypeMatch() function,
or modifying DeduceTemplateArgumentsByTypeMatch to do that transformation there?

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


More information about the cfe-commits mailing list