[clang] [Clang] Fix a concept subsumption bug when template depths are adjusted (PR #186735)

[Corentin Jabot via cfe-commits]

================
@@ -2809,14 +2779,16 @@ void SubsumptionChecker::AddUniqueClauseToFormula(Formula &F, Clause C) {
 
 std::optional<bool> SubsumptionChecker::Subsumes(
     const NamedDecl *DP, ArrayRef<AssociatedConstraint> P, const NamedDecl *DQ,
-    ArrayRef<AssociatedConstraint> Q) {
+    ArrayRef<AssociatedConstraint> Q, bool DepthAdjusted) {
----------------
cor3ntin wrote:

Sadly, this is indeed an abi break.
So, i think we need to make it a clang 23 (with a release note)

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