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.

Reply via email to