[clang] [Clang] Improve subsumption. (PR #132849)

[via cfe-commits]

================
@@ -2001,3 +1932,304 @@ NormalizedConstraint::getFoldExpandedConstraint() const {
          "getFoldExpandedConstraint called on non-fold-expanded constraint.");
   return cast<FoldExpandedConstraint *>(Constraint);
 }
+
+//
+//
+// -------------------------------------------------------------------------
+//
+//
+
+/// \name Subsumption
----------------
cor3ntin wrote:

Just to separate. I removed the doxygen comment

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