my_expected_concept.h ファイル

#include <concepts>
#include <type_traits>
#include "my_unexpected.h"

[ソースコード]

名前空間
namespace	designlab
namespace	designlab::nostd
namespace	designlab::nostd::impl

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