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
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,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114841
Jason Merrill changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
