[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