https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110513
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2023-07-01 Ever confirmed|0 |1 Keywords| |rejects-valid --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Reduced testcase: ``` template<bool a> struct bool_const1 { typedef bool T; static constexpr T value = a; constexpr T operator()(){return value;} }; struct B { bool b = true; }; // ok everywhere static_assert( bool_const1<B{}.b>{}() ); // error in GCC static_assert( requires() { bool_const1<B{}.b>{}(); } ); ```