[Bug libstdc++/113335] New: [C++23] Implement LWG3617 function/packaged_task deduction guides and deducing this

[Bug libstdc++/113335] New: [C++23] Implement LWG3617 function/packaged_task deduction guides and deducing this

[redi at gcc dot gnu.org]

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

            Bug ID: 113335
           Summary: [C++23] Implement LWG3617 function/packaged_task
                    deduction guides and deducing this
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libstdc++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: redi at gcc dot gnu.org
        Depends on: 102609
            Blocks: 106749
  Target Milestone: ---

Now that 'deducing this' is supported, we need these changes:

https://cplusplus.github.io/LWG/issue3617


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102609
[Bug 102609] [C++23] P0847R7 - Deducing this
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106749
[Bug 106749] Implement C++23 library features

[Bug libstdc++/113335] [C++23] Implement LWG3617 function/packaged_task deduction guides and deducing this

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-02-01
           Assignee|unassigned at gcc dot gnu.org      |redi at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1
   Target Milestone|---                         |14.0

[Bug libstdc++/113335] [C++23] Implement LWG3617 function/packaged_task deduction guides and deducing this

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jonathan Wakely <redi@gcc.gnu.org>:

https://gcc.gnu.org/g:6f75149488b74ae696788b8761d6fcfa754a0af7

commit r14-8752-g6f75149488b74ae696788b8761d6fcfa754a0af7
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Fri Feb 2 10:03:12 2024 +0000

    libstdc++: Make std::function deduction guide support explicit object
functions [PR113335]

    This makes the deduction guides for std::function and std::packaged_task
    work for explicit object member functions, i.e. "deducing this", as per
    LWG 3617.

    libstdc++-v3/ChangeLog:

            PR libstdc++/113335
            * include/bits/std_function.h (__function_guide_helper): Add
            partial specialization for explicit object member functions, as
            per LWG 3617.
            * testsuite/20_util/function/cons/deduction_c++23.cc: Check
            explicit object member functions.
            * testsuite/30_threads/packaged_task/cons/deduction_c++23.cc:
            Likewise.

[Bug libstdc++/113335] [C++23] Implement LWG3617 function/packaged_task deduction guides and deducing this

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

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

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Done for 14