[clang] [Concepts] Add Decls from the outer scope of the current lambda for conversion function constraints (PR #83420)

Younan Zhang via cfe-commits cfe-commits at lists.llvm.org
Thu Feb 29 06:39:06 PST 2024


================
@@ -7976,7 +7976,8 @@ void Sema::AddConversionCandidate(
 
   if (Conversion->getTrailingRequiresClause()) {
     ConstraintSatisfaction Satisfaction;
-    if (CheckFunctionConstraints(Conversion, Satisfaction) ||
+    if (CheckFunctionConstraints(Conversion, Satisfaction, /*UsageLoc=*/{},
----------------
zyn0217 wrote:

Hmm... Yes, the flag would tell the LSI to look into its parents as well, although we don't have any coverage test cases for it yet. Maybe I think we can narrow it down to the inside of CheckFunctionConstraints.

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


More information about the cfe-commits mailing list