https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96746
Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |mpolacek at gcc dot gnu.org --- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> --- I don't think it's a bug, probably more of a [temp.res]/8 issue: The program is ill-formed, no diagnostic required, if: -- no valid specialization can be generated for a template or a substatement of a constexpr if statement within a template and the template is not instantiated, or [...]