https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114625

Ted Lyngmo <ted at lyncon dot se> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|requires { T{}; } wrongly   |requires { T{}; } wrongly
                   |accepted when T{} is        |accepted when T{} is
                   |ill-formed                  |ill-formed while in concept
                 CC|                            |ted at lyncon dot se

--- Comment #1 from Ted Lyngmo <ted at lyncon dot se> ---
The assertion correctly fails with this though:
```
static_assert(requires { d{}; });
```

Reply via email to