https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113649
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2024-01-29 Keywords| |ice-on-valid-code Ever confirmed|0 |1 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Confirmed. Related (not ICEing but still incorrectly to reject) testcase: ``` template<int> struct params { template <typename Return> struct return_type { constexpr return_type(Return (*p1)()){} }; template <typename Return> return_type(Return (*)()) -> return_type<Return>; template<return_type Any> struct addr {}; }; void x(); template struct params<1>::addr<&x>; ```