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.
Actually I want to somehow get a "single" structured binding, that's what we need for a value alias, and what P0945 offered but we never got. The names in a SB have the properties we're after. No cost, no lifetime, just an alias name. Another proposal probably. Then we can safely say that UAs are always constexpr and the result is always dependent.
There was one more thing but I forgot.
Actually I want to somehow get a "single" structured binding, that's what we need for a value alias, and what P0945 offered but we never got. The names in a SB have the properties we're after. No cost, no lifetime, just an alias name. Another proposal probably. Then we can safely say that UAs are always constexpr and the result is always dependent.