================
@@ -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) {
const NormalizedConstraint *PNormalized =
- SemaRef.getNormalizedAssociatedConstraints(DP, P);
+ SemaRef.getNormalizedAssociatedConstraints(DepthAdjusted ? nullptr : DP,
+ P);
----------------
cor3ntin wrote:
I think a comment here would be useful
https://github.com/llvm/llvm-project/pull/186735
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
