static_assert( __cplusplus > 2023'00 ); #include "../make_template.h" #include #include namespace { #define ALL_TYPES int, float, char, double, std::nullptr_t, void using MyTypes= Alepha::TypeList < ALL_TYPES >; using MyTuple= Alepha::make_template_t< std::tuple, MyTypes >; static_assert( std::is_same_v< MyTuple, std::tuple< ALL_TYPES > > ); using MyVariant= Alepha::make_template_t< std::variant, MyTypes >; static_assert( std::is_same_v< MyVariant, std::variant< ALL_TYPES > > ); }