s/AreSubsumptionEligible/AreCompatibleForSubsumption to use the correct standard term

Author: cor3ntin

clang/include/clang/Sema/SemaConcept.h

@@ -183,8 +183,8 @@ struct FoldExpandedConstraint {
   bool subsumes(const FoldExpandedConstraint &Other,
                 const AtomicSubsumptionEvaluator &E) const;
 
-  static bool AreSubsumptionEligible(const FoldExpandedConstraint &A,
-                                     const FoldExpandedConstraint &B);
+  static bool AreCompatibleForSubsumption(const FoldExpandedConstraint &A,
+                                          const FoldExpandedConstraint &B);
 };
 
 const NormalizedConstraint *getNormalizedAssociatedConstraints(
@@ -262,7 +262,7 @@ template <typename AtomicSubsumptionEvaluator>
 bool FoldExpandedConstraint::subsumes(
     const FoldExpandedConstraint &Other,
     const AtomicSubsumptionEvaluator &E) const {
-  if (Kind != Other.Kind || !AreSubsumptionEligible(*this, Other))
+  if (Kind != Other.Kind || !AreCompatibleForSubsumption(*this, Other))
     return false;
 
   const NormalForm PDNF = makeDNF(this->Constraint);

clang/lib/Sema/SemaConcept.cpp

@@ -1607,7 +1607,7 @@ NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) {
   return NormalizedConstraint{new (S.Context) AtomicConstraint(S, E)};
 }
 
-bool FoldExpandedConstraint::AreSubsumptionEligible(
+bool FoldExpandedConstraint::AreCompatibleForSubsumption(
     const FoldExpandedConstraint &A, const FoldExpandedConstraint &B) {
   llvm::SmallVector<UnexpandedParameterPack> APacks, BPacks;
   Sema::collectUnexpandedParameterPacks(const_cast<Expr *>(A.Pattern), APacks);