[llvm-branch-commits] [clang] [clang] Finish implementation of P0522 (PR #96023)

[via llvm-branch-commits]

================
@@ -3186,20 +3239,36 @@ static TemplateDeductionResult FinishTemplateArgumentDeduction(
 
   // Check that we produced the correct argument list.
   TemplateParameterList *TemplateParams = Template->getTemplateParameters();
+  auto notSame = [&](unsigned I, const TemplateArgument &P,
+                     const TemplateArgument &A) {
+    if (isSameTemplateArg(S.Context, P, A, PartialOrdering,
+                          /*PackExpansionMatchesPack=*/true))
+      return false;
+    Info.Param = makeTemplateParameter(TemplateParams->getParam(I));
+    Info.FirstArg = P;
+    Info.SecondArg = A;
+    return true;
+  };
----------------
cor3ntin wrote:

I'm not a fan of the double negation here

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