https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95514
--- Comment #1 from Paul Keir <pkeir at outlook dot com> ---
The code above should also include:
int main(int argc, char *argv[])
{
static_assert(test1());
// test1(); // no problem
return 0;
}
