sleipnir::concepts::ConvertibleTo Concept Reference

#include <sleipnir/util/small_vector.hpp>

Concept definition

template<typename From, typename To>
concept sleipnir::concepts::ConvertibleTo = 
    std::is_convertible_v<From, To> &&
    requires(typename std::add_rvalue_reference_t<From> (&f)()) {
      static_cast<To>(f());
    }