StormByte::Type::VariantHasType Concept Reference

Variant T that lists U among its alternatives. More...

#include <StormByte/type_traits/wrappers.hxx>

Concept definition

template<typename T, typename U>
concept StormByte::Type::VariantHasType = 
            Variant<T> &&
            Detail::variant_has_type_v<std::remove_cvref_t<T>, U>

Detailed Description

Variant T that lists U among its alternatives.

Template Parameters

T	Variant type (cv/ref stripped before the lookup).
U	Alternative to look for (cv/ref stripped).

template<typename T, typename U>
requires Type::VariantHasType<T, U>
void handle_variant(T var);