sleipnir::concepts::DefaultConstructible Concept Reference

#include <sleipnir/util/small_vector.hpp>

Concept definition

template<typename T>
concept sleipnir::concepts::DefaultConstructible =  ConstructibleFrom<T> && requires {
  T{};
} && requires { ::new (static_cast<void*>(nullptr)) T; }