New mangling rule for deduced default template arguments. about cxx-abi HOT 4 OPEN

Mangling an adjustment on the template argument seems like the right approach. That particular suggestion seems likely to cause problems because of how it separates the template-name from the template-arguments and just drops an arbitrary numeral into the mangling, but we can surely come up with something. I believe we already specify an adjustment for changing template signatures for template template arguments; it's possible that that would be sufficient here, or maybe we need to be more explicit about the deduction.

from cxx-abi.

Yes. Thanks for reminding me that I need to put some effort into landing that in the spec.

from cxx-abi.

I believe we already specify an adjustment for changing template signatures for template template arguments; it's possible that that would be sufficient here, or maybe we need to be more explicit about the deduction.

Is this about #166, wrt the template-param-decl production?

from cxx-abi.

It seems that could work, but it needs to be extended to encode default arguments as well.

Though it seems this could already be required for the proposed resolution of https://open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1286

from cxx-abi.