On 10/21/19 4:40 PM, Andrew Sutton wrote:
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.

Aha. Please reference cp_parser_simple_type_specifier in the newly extended comment, then; OK with that change.

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


Reply via email to