[clang] Reapply "[Clang] Transform lambda's constraints when instantiating parameter mapping (PR #207966)
Matheus Izvekov via cfe-commits
cfe-commits at lists.llvm.org
Wed Jul 8 09:34:16 PDT 2026
================
@@ -1002,8 +1005,13 @@ ExprResult ConstraintSatisfactionChecker::EvaluateSlow(
const_cast<NamedDecl *>(Template), Constraint.getSourceRange());
TemplateArgumentListInfo OutArgs(Ori->LAngleLoc, Ori->RAngleLoc);
- if (S.SubstTemplateArguments(Ori->arguments(), *SubstitutedArgs, OutArgs) ||
- Trap.hasErrorOccurred()) {
+
+ if (ConceptId == TopLevelConceptId) {
----------------
mizvekov wrote:
A ConceptReference is a weird object that doesn't fit established AST conventions, so I wonder what does it mean for a `ConceptReference` to be the same as another one?
https://github.com/llvm/llvm-project/pull/207966
More information about the cfe-commits
mailing list