https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109859
Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |mpolacek at gcc dot gnu.org --- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> --- We're hitting the assert here: /* In a template parameter list, a type-parameter can be introduced by type-constraints alone. */ if (processing_template_parmlist && !placeholder) { /* In a default argument we may not be creating new parameters. */ if (parser->local_variables_forbidden_p & LOCAL_VARS_FORBIDDEN) { /* If this assert turns out to be false, do error() instead. */ gcc_assert (tentative); return error_mark_node; } so presumably we should change it to error() as the comment says.