[Bug c++/114841] [P0522R0] partial ordering of template template parameters

[mizvekov at gmail dot com via Gcc-bugs]

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

--- Comment #2 from Matheus Izvekov  ---
I published
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3310r0.html
to address this problem, it has the most up-to-date wording.

FYI the inconsistent deduction examples from problem #1 crash GCC.

[Bug c++/114841] [P0522R0] partial ordering of template template parameters

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

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

--- Comment #1 from Jason Merrill  ---
Matheus' suggested wording:

"When performing deduction such that both A and P are template template
params, and A is the template name of a template specialization,
instead of just deducing A in that case, we synthesize a new template
parameter from A, filling it's parameters with defaults coming from
their corresponding template specialization argument."

[Bug c++/114841] [P0522R0] partial ordering of template template parameters

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

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

Jason Merrill  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2024-04-24
 Blocks||114840
 Ever confirmed|0   |1


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114840
[Bug 114840] [meta-bug] template template parameters