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

[Younan Zhang via cfe-commits]

================
@@ -170,102 +132,112 @@ struct alignas(ConstraintAlignment) FoldExpandedConstraint {
                          const Expr *Pattern)
       : Kind(K), Constraint(std::move(C)), Pattern(Pattern) {};
 
-  template <typename AtomicSubsumptionEvaluator>
-  bool subsumes(const FoldExpandedConstraint &Other,
-                const AtomicSubsumptionEvaluator &E) const;
-
   static bool AreCompatibleForSubsumption(const FoldExpandedConstraint &A,
                                           const FoldExpandedConstraint &B);
+
+  llvm::FoldingSetNodeID ProfileForSubsumption() const;
----------------
zyn0217 wrote:

I think naming it Profile is enough? After all the class is not used for other purposes

(Just want to keep it consistent with other Profile functions)

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