designlab::nostd::impl::IsExpected Concept Reference

expected の concept 型 T は参照型ではなく, 関数型でもなく, unexpectedの特殊化でなく,in_place_tの特殊化でもないことを要求する [詳解]

#include <my_expected_concept.h>

Concept definition

template<typename T>
concept designlab::nostd::impl::IsExpected = 
    !std::is_reference_v<T> && !std::is_function_v<T> &&
    !std::is_same_v<std::remove_cvref_t<T>, std::in_place_t> &&
    !std::is_same_v<std::remove_cvref_t<T>, unexpected<std::remove_cvref_t<T>>>

詳解

expected の concept 型 T は参照型ではなく, 関数型でもなく, unexpectedの特殊化でなく,in_place_tの特殊化でもないことを要求する

my_expected_concept.h の 26 行目に定義があります。