https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95568
--- Comment #5 from Johel Ernesto Guerrero Peña <johelegp at gmail dot com> --- (In reply to Marek Polacek from comment #2) > The problem seems to be not that we're in a require-clause but that we're in > a template, the following is also rejected: > > template<class T> struct X { T x; }; > template<class T> void g () { X{0}; } Then this may be related to https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95434.