c++: mangling for CTAD placeholder