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.
Adding the section for dependent names and how UTPs are always treated as dependent names.
I noticed std::is_value_v<T> is a case where contravariant behavior is desired. This could be constrained with concepts (std::is_type_v<T> also must be true).
Adding the section for dependent names and how UTPs are always treated as dependent names.
I noticed
std::is_value_v<T>
is a case where contravariant behavior is desired. This could be constrained with concepts (std::is_type_v<T>
also must be true).This is for issue #14 and #19