include/__expected/expected.h

227       requires(is_copy_constructible_v<_Tp> && is_copy_constructible_v<_Err> &&
232       requires(is_move_constructible_v<_Tp> && is_move_constructible_v<_Err> &&
257       requires(is_trivially_destructible_v<_Tp> && is_trivially_destructible_v<_Err>)
298       requires(__allow_reusing_expected_tail_padding)
305       requires(is_copy_constructible_v<_Tp> && is_copy_constructible_v<_Err> &&
310       requires(is_move_constructible_v<_Tp> && is_move_constructible_v<_Err> &&
318       requires(is_trivially_destructible_v<_Tp> && is_trivially_destructible_v<_Err>)
322       requires(!is_trivially_destructible_v<_Tp> || !is_trivially_destructible_v<_Err>)
328       requires(__allow_reusing_expected_tail_padding &&
337       requires(__allow_reusing_expected_tail_padding &&
346       requires(__allow_reusing_expected_tail_padding)
354       requires(__allow_reusing_expected_tail_padding)
365       requires(!is_trivially_destructible_v<_Tp> || !is_trivially_destructible_v<_Err>)
376       requires(__allow_reusing_expected_tail_padding)
390     requires(__put_flag_in_tail)
424     requires(__put_flag_in_tail)
481     requires is_default_constructible_v<_Tp>
487     requires(is_copy_constructible_v<_Tp> && is_copy_constructible_v<_Err> && is_trivially_copy_constructible_v<_Tp> &&
493     requires(is_copy_constructible_v<_Tp> && is_copy_constructible_v<_Err> &&
498     requires(is_move_constructible_v<_Tp> && is_move_constructible_v<_Err> && is_trivially_move_constructible_v<_Tp> &&
504     requires(is_move_constructible_v<_Tp> && is_move_constructible_v<_Err> &&
540     requires __can_convert<_Up, _OtherErr, const _Up&, const _OtherErr&>::value
549     requires __can_convert<_Up, _OtherErr, _Up, _OtherErr>::value
556     requires(!is_same_v<remove_cvref_t<_Up>, in_place_t> && !is_same_v<expected, remove_cvref_t<_Up>> &&
564     requires is_constructible_v<_Err, const _OtherErr&>
570     requires is_constructible_v<_Err, _OtherErr>
576     requires is_constructible_v<_Tp, _Args...>
582     requires is_constructible_v< _Tp, initializer_list<_Up>&, _Args... >
588     requires is_constructible_v<_Err, _Args...>
594     requires is_constructible_v< _Err, initializer_list<_Up>&, _Args... >
633     requires(is_copy_assignable_v<_Tp> && is_copy_constructible_v<_Tp> && is_copy_assignable_v<_Err> &&
652     requires(is_move_constructible_v<_Tp> && is_move_assignable_v<_Tp> && is_move_constructible_v<_Err> &&
670     requires(!is_same_v<expected, remove_cvref_t<_Up>> && !__is_std_unexpected<remove_cvref_t<_Up>>::value &&
695     requires(__can_assign_from_unexpected<const _OtherErr&>)
706     requires(__can_assign_from_unexpected<_OtherErr>)
717     requires is_nothrow_constructible_v<_Tp, _Args...>
725     requires is_nothrow_constructible_v<_Tp, initializer_list<_Up>&, _Args...>
737     requires(is_swappable_v<_Tp> && is_swappable_v<_Err> && is_move_constructible_v<_Tp> &&
782     requires requires { __x.swap(__y); }
790         this->__has_val(), "expected::operator-> requires the expected to contain a value");
796         this->__has_val(), "expected::operator-> requires the expected to contain a value");
802         this->__has_val(), "expected::operator* requires the expected to contain a value");
808         this->__has_val(), "expected::operator* requires the expected to contain a value");
814         this->__has_val(), "expected::operator* requires the expected to contain a value");
820         this->__has_val(), "expected::operator* requires the expected to contain a value");
864         !this->__has_val(), "expected::error requires the expected to contain an error");
870         !this->__has_val(), "expected::error requires the expected to contain an error");
876         !this->__has_val(), "expected::error requires the expected to contain an error");
882         !this->__has_val(), "expected::error requires the expected to contain an error");
920     requires is_constructible_v<_Err, _Err&>
933     requires is_constructible_v<_Err, const _Err&>
946     requires is_constructible_v<_Err, _Err&&>
960     requires is_constructible_v<_Err, const _Err&&>
974     requires is_constructible_v<_Tp, _Tp&>
987     requires is_constructible_v<_Tp, const _Tp&>
1000     requires is_constructible_v<_Tp, _Tp&&>
1014     requires is_constructible_v<_Tp, const _Tp&&>
1028     requires is_constructible_v<_Err, _Err&>
1044     requires is_constructible_v<_Err, const _Err&>
1060     requires is_constructible_v<_Err, _Err&&>
1076     requires is_constructible_v<_Err, const _Err&&>
1092     requires is_constructible_v<_Tp, _Tp&>
1104     requires is_constructible_v<_Tp, const _Tp&>
1116     requires is_constructible_v<_Tp, _Tp&&>
1129     requires is_constructible_v<_Tp, const _Tp&&>
1143     requires(!is_void_v<_T2>)
1177       requires(is_copy_constructible_v<_Err> && is_trivially_copy_constructible_v<_Err>)
1181       requires(is_move_constructible_v<_Err> && is_trivially_move_constructible_v<_Err>)
1198       requires(is_trivially_destructible_v<_Err>)
1203       requires(!is_trivially_destructible_v<_Err>)
1230       requires(__allow_reusing_expected_tail_padding)
1237       requires(is_copy_constructible_v<_Err> && is_trivially_copy_constructible_v<_Err>)
1241       requires(is_move_constructible_v<_Err> && is_trivially_move_constructible_v<_Err>)
1248       requires(is_trivially_destructible_v<_Err>)
1252       requires(!is_trivially_destructible_v<_Err>)
1258       requires(__allow_reusing_expected_tail_padding && is_trivially_destructible_v<_Err>)
1264       requires(__allow_reusing_expected_tail_padding && !is_trivially_destructible_v<_Err>)
1271       requires(__allow_reusing_expected_tail_padding)
1279       requires(__allow_reusing_expected_tail_padding)
1290       requires(!is_trivially_destructible_v<_Err>)
1298       requires(__allow_reusing_expected_tail_padding)
1312     requires(__put_flag_in_tail)
1327     requires(__put_flag_in_tail)
1357   requires is_void_v<_Tp>
1391     requires(is_copy_constructible_v<_Err> && is_trivially_copy_constructible_v<_Err>)
1396     requires(is_copy_constructible_v<_Err> && !is_trivially_copy_constructible_v<_Err>)
1400     requires(is_move_constructible_v<_Err> && is_trivially_move_constructible_v<_Err>)
1404     requires(is_move_constructible_v<_Err> && !is_trivially_move_constructible_v<_Err>)
1408     requires __can_convert<_Up, _OtherErr, const _OtherErr&>::value
1415     requires __can_convert<_Up, _OtherErr, _OtherErr>::value
1421     requires is_constructible_v<_Err, const _OtherErr&>
1427     requires is_constructible_v<_Err, _OtherErr>
1435     requires is_constructible_v<_Err, _Args...>
1441     requires is_constructible_v< _Err, initializer_list<_Up>&, _Args... >
1481     requires(is_copy_assignable_v<_Err> && is_copy_constructible_v<_Err>)
1501     requires(is_move_assignable_v<_Err> && is_move_constructible_v<_Err>)
1518     requires(is_constructible_v<_Err, const _OtherErr&> && is_assignable_v<_Err&, const _OtherErr&>)
1529     requires(is_constructible_v<_Err, _OtherErr> && is_assignable_v<_Err&, _OtherErr>)
1548     requires(is_swappable_v<_Err> && is_move_constructible_v<_Err>)
1572     requires requires { __x.swap(__y); }
1584         this->__has_val(), "expected::operator* requires the expected to contain a value");
1603         !this->__has_val(), "expected::error requires the expected to contain an error");
1609         !this->__has_val(), "expected::error requires the expected to contain an error");
1615         !this->__has_val(), "expected::error requires the expected to contain an error");
1621         !this->__has_val(), "expected::error requires the expected to contain an error");
1647     requires is_constructible_v<_Err, _Err&>
1660     requires is_constructible_v<_Err, const _Err&>
1673     requires is_constructible_v<_Err, _Err&&>
1686     requires is_constructible_v<_Err, const _Err&&>
1749     requires is_constructible_v<_Err, _Err&>
1764     requires is_constructible_v<_Err, const _Err&>
1779     requires is_constructible_v<_Err, _Err&&>
1794     requires is_constructible_v<_Err, const _Err&&>
1856     requires is_void_v<_T2>