https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115594
Bug ID: 115594 Summary: requires expression permits arrays of voids Product: gcc Version: 14.1.1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: fchelnokov at gmail dot com Target Milestone: --- This program ``` template<typename T> concept C = requires(T t[2]) { t; }; static_assert(!C<void>); ``` seems valid because arrays of voids are not allowed, and it is accepted by Clang and MSVC. But in GCC static_assert evaluates to opposite value. Online demo: https://gcc.godbolt.org/z/nM8Mj8qrb