https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104074
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |12.0 Last reconfirmed| |2022-01-17 Status|UNCONFIRMED |NEW Summary|[12 Regression] Maybe |[12 Regression] [c++17] |rejected code: is not a |Maybe rejected code: is not |valid type for a template |a valid type for a template |non-type parameter since |non-type parameter since |r12-6022-gbb2a7f80a98de3fe |r12-6022-gbb2a7f80a98de3fe Ever confirmed|0 |1 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I think it is valid too. GCC does accept it for -std=c++20 but not for -std=c++17 .