https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
Andrew Giese <gieseanw+gcc at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |gieseanw+gcc at gmail dot com --- Comment #7 from Andrew Giese <gieseanw+gcc at gmail dot com> --- This bug in the OP appears to have been fixed as early as gcc 11.1. For reference, I'm referring to the following code: int main() { constexpr auto b = requires { []{}; }; static_assert(b); static_assert(!b); } https://godbolt.org/z/WzzGMxcz6 Note that the code listed in Jonathan's comment above still fails in 14.0.1 (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546#c6)