[Bug c++/115775] User-defined deduction guide ignored for alias template if the alias passes on a template template parameter to the aliased class template

2024-07-04 Thread s.murthy at outlook dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115775 --- Comment #4 from Sean Murthy --- (In reply to Xi Ruoyao from comment #2) > Clang says: > > :35:10: error: deduction guide template contains a template > parameter that cannot be deduced ... > but I'm not sure if this is correct (or more cor

[Bug c++/115775] User-defined deduction guide ignored for alias template if the alias passes on a template template parameter to the aliased class template

2024-07-04 Thread s.murthy at outlook dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115775 --- Comment #3 from Sean Murthy --- I notice the repro has an unnecessary explicit specifier for guide 2. That guide should be: //guide 2 template C(SI) -> C>;

[Bug c++/115775] User-defined deduction guide ignored for alias template if the alias passes on a template template parameter to the aliased class template

2024-07-03 Thread xry111 at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115775 Xi Ruoyao changed: What|Removed |Added CC||xry111 at gcc dot gnu.org --- Comment #2 fr

[Bug c++/115775] User-defined deduction guide ignored for alias template if the alias passes on a template template parameter to the aliased class template

2024-07-03 Thread s.murthy at outlook dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115775 --- Comment #1 from Sean Murthy --- Created attachment 58585 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58585&action=edit Compiler output for the repro Generated with GCC 14.1 with the following command line: g++ -v -save-temps -std=