https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81157
Arthur O'Dwyer <arthur.j.odwyer at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |arthur.j.odwyer at gmail dot com --- Comment #1 from Arthur O'Dwyer <arthur.j.odwyer at gmail dot com> --- I'd say neither a bug nor a defect. In `if constexpr (X && Y)`, `X && Y` is an expression and it must be well-formed, even if it's false -- just like if you did `static_assert((X && Y) == false)`. GCC is behaving according to the C++ Standard in this case. Recommend closing as INVALID.