[Bug c++/97839] New: Template lambda incorrectly requiring the optional lambda-declarator

[Bug c++/97839] New: Template lambda incorrectly requiring the optional lambda-declarator

[gareth@ignition-web.co.uk]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97839

            Bug ID: 97839
           Summary: Template lambda incorrectly requiring the optional
                    lambda-declarator
           Product: gcc
           Version: 10.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gareth@ignition-web.co.uk
  Target Milestone: ---

int main()
{
    []<typename T>{}.operator()<int>();
}

https://godbolt.org/z/eo4ebr

http://eel.is/c++draft/expr.prim.lambda.general#nt:lambda-expression

[Bug c++/97839] Template lambda incorrectly requiring the optional lambda-declarator

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97839

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
                 CC|                            |mpolacek at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-11-17

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed, thanks for reporting it.

[Bug c++/97839] Template lambda incorrectly requiring the optional lambda-declarator

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97839

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org

[Bug c++/97839] Template lambda incorrectly requiring the optional lambda-declarator

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97839

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Marek Polacek <mpolacek@gcc.gnu.org>:

https://gcc.gnu.org/g:78cd6a63ee67ed854fbe54dd7c0a500dc138459a

commit r11-5230-g78cd6a63ee67ed854fbe54dd7c0a500dc138459a
Author: Marek Polacek <polacek@redhat.com>
Date:   Tue Nov 17 11:38:25 2020 -0500

    c++: Allow template lambdas without lambda-declarator [PR97839]

    Our implementation of template lambdas incorrectly requires the optional
    lambda-declarator.  This was probably required by an early draft of
    generic lambdas, but now the production is [expr.prim.lambda.general]:

     lambda-expression:
        lambda-introducer lambda-declarator [opt] compound-statement
        lambda-introducer < template-parameter-list > requires-clause [opt]
              lambda-declarator [opt] compound-statement

    Therefore, we should accept the following test.

    gcc/cp/ChangeLog:

            PR c++/97839
            * parser.c (cp_parser_lambda_declarator_opt): Don't require ().

    gcc/testsuite/ChangeLog:

            PR c++/97839
            * g++.dg/cpp2a/lambda-generic8.C: New test.

[Bug c++/97839] Template lambda incorrectly requiring the optional lambda-declarator

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97839

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed.