[clang] [clang] Fix the local parameter of void type inside the `Requires` expression. (PR #109831)

via cfe-commits cfe-commits at lists.llvm.org
Sat Sep 28 22:26:54 PDT 2024


c8ef wrote:

I have another simple question: If an explicit-object-parameter-declaration appears in the parameter list, should the requires expression evaluate to false? All three compilers I've tested seem to evaluate it to true, but I'm unsure if this is the correct behavior.

```
static_assert(requires(this int) { true; });
```

https://gcc.godbolt.org/z/9Pajb5G9s

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


More information about the cfe-commits mailing list