mp_units::is_derived_from_specialization_of_v

Whether T is derived from some specialization of the class template Type, which takes non-type (auto) parameters

Synopsis

Declared in <mp-units/ext/type_traits.h>

template<
    typename T,
    template<auto...> typename Type>
constexpr bool is_derived_from_specialization_of_v = requires(T* t) { detail::to_base_specialization_of_v<Type>(t); };