[clang] Reapply "[Clang] Transform lambda's constraints when instantiating parameter mapping (PR #207966)

Younan Zhang via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 7 06:17:47 PDT 2026


================
@@ -1028,7 +1021,7 @@ ExprResult ConstraintSatisfactionChecker::EvaluateSlow(
       ConceptId->getFoundDecl(), ConceptId->getNamedConcept(), &OutArgs,
       /*DoCheckConstraintSatisfaction=*/false);
 
-  if (SubstitutedConceptId.isInvalid() || Trap.hasErrorOccurred())
+  if (SubstitutedConceptId.isInvalid())
     return ExprError();
 
----------------
zyn0217 wrote:

I think it should've been caught earlier at ~993? CheckConceptTemplateId is unlikely to throw an sfinae error

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


More information about the cfe-commits mailing list