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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
