[clang] [Clang] Reapply CWG2369 "Ordering between constraints and substitution" (PR #122423)

[via cfe-commits]

================
@@ -12554,7 +12555,9 @@ class Sema final : public SemaBase {
       sema::TemplateDeductionInfo &Info,
       SmallVectorImpl<OriginalCallArg> const *OriginalCallArgs,
       bool PartialOverloading, bool PartialOrdering,
-      llvm::function_ref<bool()> CheckNonDependent = [] { return false; });
+      llvm::function_ref<bool(bool)> CheckNonDependent = [](bool) {
+        return false;
+      });
----------------
cor3ntin wrote:

Can you add comment to explain how the call back work / give a name to the parameter?

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