We propose a way to spell a universal template parameter kind. This would allow for a generic apply and other higher-order template metafunctions, and certain typetraits.
I thought we had this in R3, but apparently it was lost. A pity as now many of our examples will never build as they contain conflicting use of the UTP without guarding by if constexpr, which makes them useless in real code.
I thought we had this in R3, but apparently it was lost. A pity as now many of our examples will never build as they contain conflicting use of the UTP without guarding by if constexpr, which makes them useless in real code.