================
@@ -725,6 +728,13 @@ ExprResult ConstraintSatisfactionChecker::EvaluateSlow(
return ExprEmpty();
}
+ // Make sure that concepts are not evaluated in the context they are used,
+ // i.e they should not have access to the current class object or its
+ // non-public members.
+ std::optional<Sema::ContextRAII> ConceptContext;
+ if (ParentConcept)
+ ConceptContext.emplace(S, ParentConcept->getDeclContext());
----------------
erichkeane wrote:
This ends up setting the 'this' override, do we mean that?
https://github.com/llvm/llvm-project/pull/197215
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
