[clang] [clang][Sema] Skip the RequiresExprBodyDecls for lambda dependencies (PR #83997)
James Y Knight via cfe-commits
cfe-commits at lists.llvm.org
Wed Mar 13 12:17:18 PDT 2024
jyknight wrote:
Can reduce further to:
```
template <typename T>
concept h = requires(T i) { [] {}(i); };
template <typename T> struct k;
template <h m> struct k<m> {
struct n;
};
using o = k<int>::n;
```
But, is `requires(T i) { [] {}(i); };` actually valid? I think that _should_ fail the requirement, since you cannot call that lambda with an argument? Maybe that's just an artifact of the reduction?
https://github.com/llvm/llvm-project/pull/83997
More information about the cfe-commits
mailing list