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

via cfe-commits cfe-commits at lists.llvm.org
Thu Mar 27 06:17:37 PDT 2025


================
@@ -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;
----------------
cor3ntin wrote:

Oh, that's actually not used, I should get rid of it thanks!

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


More information about the cfe-commits mailing list