https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99970
--- Comment #1 from 康桓瑋 <hewillk at gmail dot com> --- The requires-expression is a red herring, so it can be simplified to: template <auto x = 0> void f() { x == nullptr; }; int main() { f(); } Is this ill-formed?