cor3ntin added inline comments.
================
Comment at: clang/lib/Sema/TreeTransform.h:13002
+ ExprResult NewTrailingRequiresClause =
+ E->getCallOperator()->getTrailingRequiresClause();
----------------
That doesn't look right.
At best if you don't transform the trailing return type you wouldn't refer to
the transformed captures and that is the issue you are seeing with
```
// This asserts because 'y' is not in the Scope's "FindInstantiationOf"
[y = x]() requires(constraint<decltype(y)>){}
```
But i suspect this should explode even more spectacularly in some cases?
If i understand correctly, it shouldn't be checked - but it still be
substituted.... or am i missing something?
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D119544/new/
https://reviews.llvm.org/D119544
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
