[Bug c++/113544] New: [14 Regression] bogus incomplete type error with dependent data member in local class in generic lambda since r14-278

[Bug c++/113544] New: [14 Regression] bogus incomplete type error with dependent data member in local class in generic lambda since r14-278

[ppalka at gcc dot gnu.org]

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

            Bug ID: 113544
           Summary: [14 Regression] bogus incomplete type error with
                    dependent data member in local class in generic lambda
                    since r14-278
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ppalka at gcc dot gnu.org
  Target Milestone: ---

template<class T>
void f() {
  [](auto parm) {
    struct type {
      decltype(parm) x;
    };
  };
}

template void f<int>();

<stdin>: In instantiation of ‘struct f<int>()::<lambda(auto:1)>::type’:
<stdin>:6:5:   required from ‘void f() [with T = int]’
<stdin>:10:22:   required from here
<stdin>:5:22: error: ‘f()::<lambda(auto:1)>::type::x’ has incomplete type
<stdin>:5:22: error: invalid use of dependent type ‘decltype (parm)’

[Bug c++/113544] [14 Regression] bogus incomplete type error with dependent data member in local class in generic lambda since r14-278

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Target Milestone|---                         |14.0
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2024-01-22

[Bug c++/113544] [14 Regression] bogus incomplete type error with dependent data member in local class in generic lambda since r14-278

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
                 CC|                            |jakub at gcc dot gnu.org

[Bug c++/113544] [14 Regression] bogus incomplete type error with dependent data member in local class in generic lambda since r14-278

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
                 CC|                            |jason at gcc dot gnu.org

--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
And we ICE when the local class has a dependent base:

template<class T>
void f() {
  [](auto parm) {
    struct type : decltype(parm) { };
  };
}

template void f<int>();

[Bug c++/113544] [14 Regression] bogus incomplete type error with dependent data member in local class in generic lambda since r14-278

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:77d3fb39c62558838c0e905df717903b5393dfc9

commit r14-8502-g77d3fb39c62558838c0e905df717903b5393dfc9
Author: Jason Merrill <jason@redhat.com>
Date:   Fri Jan 26 17:33:51 2024 -0500

    c++: local class in generic lambda [PR113544]

    My earlier commit r14-278-gd60cbbfaa9a3ad was a start toward better
    handling of local classes in generic lambdas, but isn't actually useful by
    itself and breaks this testcase, so let's revert it for now.

            PR c++/113544

    gcc/cp/ChangeLog:

            * pt.cc (instantiate_class_template): Don't partially instantiate.
            (tsubst_stmt): Likewise.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp1y/lambda-generic-nested3.C: New test.

[Bug c++/113544] [14 Regression] bogus incomplete type error with dependent data member in local class in generic lambda since r14-278

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
             Status|NEW                         |RESOLVED

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed.