================
@@ -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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
