plg::detail::expected_constructible_from_other Concept Reference

Concept definition

template<typename T, typename E, typename U, typename G, typename UF, typename GF>
concept plg::detail::expected_constructible_from_other = 
                std::constructible_from<T, UF> &&
                std::constructible_from<E, GF> &&
                (!std::constructible_from<T, expected<U, G>&>) &&
                (!std::constructible_from<T, expected<U, G>>) &&
                (!std::constructible_from<T, expected<U, G> const&>) &&
                (!std::constructible_from<T, expected<U, G> const>) &&
                (!std::convertible_to<expected<U, G>&, T>) &&
                (!std::convertible_to<expected<U, G>&&, T>) &&
                (!std::convertible_to<expected<U, G> const&, T>) &&
                (!std::convertible_to<expected<U, G> const&&, T>) &&
                (!std::constructible_from<unexpected<E>, expected<U, G>&>) &&
                (!std::constructible_from<unexpected<E>, expected<U, G>>) &&
                (!std::constructible_from<unexpected<E>, expected<U, G> const&>) &&
                (!std::constructible_from<unexpected<E>, expected<U, G> const>)

Detailed Description

Definition at line 143 of file expected.hpp.