In cp_parser_simple_type_specifier:
if (!type && flag_concepts && decl_specs)
{
/* Try for a type-constraint with template arguments. We check
decl_specs here to avoid trying this for a functional cast. */
...
It's subtle.
Andrew Sutton
On Mon, Oct 21, 2019 at 2:22 PM Jason Merrill <ja...@redhat.com> wrote:
>
> On 10/17/19 10:36 AM, Andrew Sutton wrote:
> > This fixes a parsing bug with constrained placeholders uses as the
> > first parameter of a constructor.
>
> > + Parse with an empty set of declaration specifiers since we're
> > + trying to match a type-specifier of the first parameter. */
>
> Why does that make a difference?
>
> Jason
>
