[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