sleipnir::concepts::Erasable Concept Reference

#include <sleipnir/util/small_vector.hpp>

Concept definition

template<typename T, typename X, typename A typename std::conditional_t<requires {            typename X::allocator_type;          }, typename X::allocator_type, std::allocator<T>>>
concept sleipnir::concepts::Erasable = 
    std::same_as<typename X::value_type, T> &&
    ((requires { typename X::allocator_type; }  
      && std::same_as<
             typename X::allocator_type,
             typename std::allocator_traits<A>::template rebind_alloc<T>> &&
      (requires(A m, T* p) { m.destroy(p); } || std::is_destructible_v<T>)) ||
     (!requires { typename X::allocator_type; } && std::is_destructible_v<T>))