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

Corentin Jabot via cfe-commits cfe-commits at lists.llvm.org
Wed May 6 06:35:43 PDT 2026


================
@@ -2312,6 +2269,14 @@ bool SubstituteParameterMappings::substitute(NormalizedConstraint &N) {
     }
     assert(!ArgsAsWritten);
     const ConceptSpecializationExpr *CSE = CC.getConceptSpecializationExpr();
+    // This is to make sure that lambdas within template arguments live in a
+    // dependent context such that they are assured to be transformed in
+    // evaluation.
----------------
cor3ntin wrote:

```suggestion
    // Make sure that lambdas within template arguments live in a
    // dependent context such that they are assured to be transformed during constraint
    // evaluation.
```

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


More information about the cfe-commits mailing list