RFC: Improving Diagnostics with Template Specialization Resugaring

We have an I/O optimization which stores a datatype as a float (in lower precision) and reads it in-memory as a double (in higher precision). That happens through using Double32_t = float; and we need to track this datatype through instantiations and tell the I/O system how to act upon it. We do not rely on AttributedTypes. There has been a bit more discussion here [cfe-dev] template instantiation, typedef used as template argument and dependent type for data members.

1 Like