sleipnir::concepts::NoThrowConvertibleTo Concept Reference

#include <sleipnir/util/small_vector.hpp>

Concept definition

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