[Bug c++/93083] [C++20] copy deduction rejected when doing CTAD for NTTP

[ppalka at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #11 from Patrick Palka  ---
*** Bug 92101 has been marked as a duplicate of this bug. ***

[Bug c++/93083] [C++20] copy deduction rejected when doing CTAD for NTTP

[ppalka at gcc dot gnu.org via Gcc-bugs]

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

Patrick Palka  changed:

   What|Removed |Added

 CC||nicole.king464 at gmail dot com

--- Comment #10 from Patrick Palka  ---
*** Bug 96331 has been marked as a duplicate of this bug. ***

[Bug c++/93083] [C++20] copy deduction rejected when doing CTAD for NTTP

[ppalka at gcc dot gnu.org via Gcc-bugs]

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

Patrick Palka  changed:

   What|Removed |Added

 CC||mateusz.pusz at gmail dot com

--- Comment #9 from Patrick Palka  ---
*** Bug 95015 has been marked as a duplicate of this bug. ***

[Bug c++/93083] [C++20] copy deduction rejected when doing CTAD for NTTP

[jason at gcc dot gnu.org via Gcc-bugs]

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

Jason Merrill  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |10.3

--- Comment #8 from Jason Merrill  ---
Fixed for 10.2/11.

[Bug c++/93083] [C++20] copy deduction rejected when doing CTAD for NTTP

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #7 from CVS Commits  ---
The releases/gcc-10 branch has been updated by Jason Merrill
:

https://gcc.gnu.org/g:e6e42891d80c12c4fac36d6273b8d4e31a3d0a2a

commit r10-9133-ge6e42891d80c12c4fac36d6273b8d4e31a3d0a2a
Author: Jason Merrill 
Date:   Wed Nov 25 17:05:24 2020 -0500

c++: Fix deduction from auto template parameter [PR93083]

The check in do_class_deduction to handle passing one class placeholder
template parm as an argument for itself needed to be extended to also
handle
equivalent parms from other templates.

gcc/cp/ChangeLog:

PR c++/93083
* pt.c (convert_template_argument): Handle equivalent placeholders.
(do_class_deduction): Look through EXPR_PACK_EXPANSION, too.

gcc/testsuite/ChangeLog:

PR c++/93083
* g++.dg/cpp2a/nontype-class40.C: New test.

[Bug c++/93083] [C++20] copy deduction rejected when doing CTAD for NTTP

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #6 from CVS Commits  ---
The master branch has been updated by Jason Merrill :

https://gcc.gnu.org/g:a95753214b55d21e5b44eeb098cccf88d44c94dd

commit r11-5752-ga95753214b55d21e5b44eeb098cccf88d44c94dd
Author: Jason Merrill 
Date:   Wed Nov 25 17:05:24 2020 -0500

c++: Fix deduction from auto template parameter [PR93083]

The check in do_class_deduction to handle passing one class placeholder
template parm as an argument for itself needed to be extended to also
handle
equivalent parms from other templates.

gcc/cp/ChangeLog:

PR c++/93083
* pt.c (convert_template_argument): Handle equivalent placeholders.
(do_class_deduction): Look through EXPR_PACK_EXPANSION, too.

gcc/testsuite/ChangeLog:

PR c++/93083
* g++.dg/cpp2a/nontype-class40.C: New test.

[Bug c++/93083] [C++20] copy deduction rejected when doing CTAD for NTTP

[jason at gcc dot gnu.org via Gcc-bugs]

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

Jason Merrill  changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |jason at gcc dot gnu.org
 Status|NEW |ASSIGNED